windows9download

You Here : Home > Windows

Z3-2.6

OS Support:

Windows


Publisher

Publisher version

Update:

June 23 2014

Download:

Z3-2.6


Description

Z3 is a high-performance theorem prover being developed at Microsoft Research. Z3 supports linear real and integer arithmetic, fixed-size bit-vectors, extensional arrays, uninterpreted functions, and quantifiers. Z3 is integrated with a number of program analysis, testing, and verification tools from Microsoft Research. These include: VCC, Spec#, Boogie, Pex, Yogi, Vigilante, SLAM, F7, F*, SAGE, VS3, FORMULA, and HAVOC. It can read problems in SMT-LIB and Simplify formats.


Related Downloads



Warning: mysql_query() [function.mysql-query]: Unable to save result set in /home/wwwroot/file.windows9download.net/e/data/tmp/tempnews14_all.php on line 226

Warning: mysql_num_rows(): supplied argument is not a valid MySQL result resource in /home/wwwroot/file.windows9download.net/e/data/tmp/tempnews14_all.php on line 229

Software Tags

Z3-2.6 | Z3-2.6

Size : 22.31 MB

Next/Pre