A reference implementation of property directed reachability for boolean transition systems.
- Microsoft Z3 4.5.0 Ubuntu x64
- Ubuntu 14.04 LTS x64
- gcc 4.8.4
- C++ -std=c++11
Refresh | This website github.imc.re/rohitdureja/SimplePDR is currently offline. Cloudflare's Always Online™ shows a snapshot of this web page from the Internet Archive's Wayback Machine. To check for the live version, click Refresh. |