-
2
-
-
51449105898
-
Design and results of the 3rd annual satisfiability modulo theories competition (SMT-COMP 2007)
-
Barrett, C., Deters, M., Oliveras, A., Stump, A.: Design and results of the 3rd annual satisfiability modulo theories competition (SMT-COMP 2007). International Journal on Artificial Intelligence Tools (IJAIT) 17(4), 569-606 (2008)
-
(2008)
International Journal on Artificial Intelligence Tools (IJAIT)
, vol.17
, Issue.4
, pp. 569-606
-
-
Barrett, C.1
Deters, M.2
Oliveras, A.3
Stump, A.4
-
3
-
-
77955251743
-
The SMT-LIB Standard
-
Version 2.0. Gupta, A., Kroening, D. (eds.)
-
Barrett, C., Stump, A., Tinelli, C.: The SMT-LIB Standard: Version 2.0. In: Gupta, A., Kroening, D. (eds.) Proceedings of the 8th International Workshop on Satisfiability Modulo Theories, Edinburgh, England (2010)
-
Proceedings of the 8th International Workshop on Satisfiability Modulo Theories, Edinburgh, England (2010)
-
-
Barrett, C.1
Stump, A.2
Tinelli, C.3
-
4
-
-
77955251743
-
-
Version 2.0. Technical report, Department of Computer Science, The University of Iowa
-
Barrett, C., Stump, A., Tinelli, C.: The SMT-LIB Standard: Version 2.0. Technical report, Department of Computer Science, The University of Iowa (2010)
-
(2010)
The SMT-LIB Standard
-
-
Barrett, C.1
Stump, A.2
Tinelli, C.3
-
5
-
-
38149123956
-
CVC3
-
Damm, W., Hermanns, H. (eds.) CAV 2007. Springer, Heidelberg
-
Barrett, C.W., Tinelli, C.: CVC3. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 298-302. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4590
, pp. 298-302
-
-
Barrett, C.W.1
Tinelli, C.2
-
6
-
-
78249286852
-
Improved usability and performance of SMT solvers for debugging specifications
-
10.1007/s10009-010-0138-x
-
Cok, D.: Improved usability and performance of SMT solvers for debugging specifications. International Journal on Software Tools for Technology Transfer (STTT) 12, 467-481 (2010); 10.1007/s10009-010-0138-x
-
(2010)
International Journal on Software Tools for Technology Transfer (STTT)
, vol.12
, pp. 467-481
-
-
Cok, D.1
-
7
-
-
45749085681
-
Z3: An Efficient SMT Solver
-
Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. Springer, Heidelberg
-
de Moura, L., Bjørner, N.S.: Z3: An Efficient SMT Solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337-340. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.4963
, pp. 337-340
-
-
De Moura, L.1
Bjørner, N.S.2
-
8
-
-
79955045544
-
-
Deters, M.: http://www.smtcomp.org/2010
-
-
-
Deters, M.1
-
9
-
-
24944448541
-
Simplify: A theorem prover for program checking
-
Detlefs, D., Nelson, G., Saxe, J.B.: Simplify: a theorem prover for program checking. Journal of the ACM 52(3), 365-473 (2005)
-
(2005)
Journal of the ACM
, vol.52
, Issue.3
, pp. 365-473
-
-
Detlefs, D.1
Nelson, G.2
Saxe, J.B.3
-
11
-
-
79954988094
-
-
Griggio, A.: https://es.fbk.eu/people/griggio/misc/smtlib2parser.html
-
-
-
Griggio, A.1
-
12
-
-
79955006684
-
-
Hawkins, T.: http://hackage.haskell.org/package/smt-lib
-
-
-
Hawkins, T.1
-
14
-
-
79955004622
-
-
Tinelli, C.: http://www.smt-lib.org
-
-
-
Tinelli, C.1
|