Download Probabilistic Z3 from Official Microsoft Download Center

Hands type on a Surface Pro 6 with Type Cover

New Surface Pro 6

Stand out from the ordinary

Probabilistic Z3

Important! Selecting a language below will dynamically change the complete page content to that language.

Language:
English
Probabilistic Z3 is a solver for the bounded reachability problem that uses the symbolic approximation technique described in the following paper: Markus N. Last published: February 10, 2015.