CVC4

Clark W. Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanović, Tim King, Andrew Reynolds, Cesare Tinelli
[doi] [Google Scholar] [DBLP] [Citeseer]

Proceedings of the 23rd International Conference on Computer Aided Verification (CAV '11)
Lecture Notes in Computer Science, volume 6806
Springer
Pages 171-177
July 2011
Note(s): CVC4 solver, SMT solver

CVC4 solver