Download Probabilistic Z3 from Official Microsoft Download Center

A Surface Pro

Surface Pro

The most versatile laptop

Probabilistic Z3

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

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.