메뉴 건너뛰기




Volumn 6617 LNCS, Issue , 2011, Pages 480-486

jSMTLIB: Tutorial, validation and adapter tools for SMT-LIBv2

Author keywords

automated reasoning; jSMTLIB; OpenJML; SMT solvers; SMT LIB; software verification; validation

Indexed keywords

AUTOMATED REASONING; JSMTLIB; OPENJML; SMT SOLVERS; SMT-LIB; SOFTWARE VERIFICATION; VALIDATION;

EID: 79955023409     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-20398-5_36     Document Type: Conference Paper
Times cited : (13)

References (14)
  • 4
    • 77955251743 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • Deters, M.: http://www.smtcomp.org/2010
    • Deters, M.1
  • 9
    • 24944448541 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • Griggio, A.: https://es.fbk.eu/people/griggio/misc/smtlib2parser.html
    • Griggio, A.1
  • 12
    • 79955006684 scopus 로고    scopus 로고
    • Hawkins, T.: http://hackage.haskell.org/package/smt-lib
    • Hawkins, T.1
  • 14


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.