ArgoSMT
Code
http://argo.matf.bg.ac.rs/?content=downloads
ArgoSMT (which is still in early phases of its development) is an open source, freely available SMT ...
1066 views
 
CVC3
Code
http://www.cs.nyu.edu/acsys/cvc3/
CVC3 is an automatic theorem prover for Satisfiability Modulo Theories (SMT) problems. It can be use...
1276 views
 
CVC4
Code
https://github.com/CVC4/CVC4
CVC4 is an efficient opensource automatic theorem prover for satisfiability modulo theories (SMT) p...
936 views
 
http://www.cs.cmu.edu/afs/cs/project/airepository/ai/areas/reasonng/atp/systems/frapps/0.html
FRAPPS (Framework for Resolutionbased Automated Proof Procedures) is a portable resolution theorem...
941 views
 
HOL4
Code
http://hol.sourceforge.net/
HOL4 is the latest version of the HOL interactive proof assistant for higher order logic: a programm...
932 views
 
NASA PVS Library
Code
ftp/larc/PVSlibrary/
The NASA PVS Library is a collection of formal developments in PVS maintained by the NASA Langley Fo...
1111 views
 
Princess
Code
http://www.philipp.ruemmer.org/princess.shtml
Princess is a theorem prover for Presburger arithmetic with uninterpreted predicates.
80 views
 
http://pvs.csl.sri.com/
PVS is a verification system: that is, a specification language integrated with support tools and a ...
67 views
 
http://sal.csl.sri.com/
The heart of SAL is a language, developed in collaboration with Stanford and Berkeley, for specifyin...
1187 views
