Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
sav08:tools_demo [2008/02/21 23:03] piskac |
sav08:tools_demo [2008/02/21 23:06] piskac |
||
|---|---|---|---|
| Line 98: | Line 98: | ||
| * vampire = [[http://en.wikipedia.org/wiki/Vampire_theorem_prover|Vampire theorem prover]] | * vampire = [[http://en.wikipedia.org/wiki/Vampire_theorem_prover|Vampire theorem prover]] | ||
| * cvcl = [[http://www.cs.nyu.edu/acsys/cvc3/|CVC3 theorem prover]] | * cvcl = [[http://www.cs.nyu.edu/acsys/cvc3/|CVC3 theorem prover]] | ||
| - | * z3 = | + | * z3 = [[http://research.microsoft.com/projects/z3/|Z3 theorem prover]] |