메뉴 건너뛰기
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volumn 2102, Issue , 2001, Pages 246-249
ICS: Integrated canonizer and solver
Author keywords

[No Author keywords available]
Indexed keywords

EID: 84958751994     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44585-4_22     Document Type: Conference Paper
Times cited : (87)
References (7)
  • 1
    • 84957633777 scopus 로고    scopus 로고
    • Validity checking for combinations of theories with equality
    • Mandayam Srivas and Albert Camilleri, editors, Palo Alto, CA, Springer-Verlag
    • Clark Barrett, David Dill, and Jeremy Levitt. Validity checking for combinations of theories with equality. In Mandayam Srivas and Albert Camilleri, editors, Formal Methods in Computer-Aided Design (FMCAD ‘96),volume 1166 of Lecture Notes in Computer Science, pages 187-201, Palo Alto, CA, November 1996. Springer-Verlag.
    • (1996) Formal Methods in Computer-Aided Design (FMCAD ‘96) , vol.1166 , pp. 187-201
    • Barrett, C.1    Dill, D.2    Levitt, J.3
  • 2
    • 0031124371 scopus 로고    scopus 로고
    • An industrial strength theorem prover for a logic based on Common Lisp
    • Matt Kaufmann and J Strother Moore. An industrial strength theorem prover for a logic based on Common Lisp. IEEE Transactions on Software Engineering, 23(4):203-213, April 1997.
    • (1997) IEEE Transactions on Software Engineering , vol.23 , Issue.4 , pp. 203-213
    • Kaufmann, M.1    Strother Moore, J.2
  • 3
    • 84948954122 scopus 로고    scopus 로고
    • Solving bit-vector equations
    • G. Gopalakrishnan and Ph. Windley, editors, Palo Alto, CA, Springer-Verlag
    • O. Möller and H. Rueß. Solving bit-vector equations. In G. Gopalakrishnan and Ph. Windley, editors, Formal Methods in Computer-Aided Design (FMCAD ‘98), volume 1522 of Lecture Notes in Computer Science, pages 36-48, Palo Alto, CA, November 1998. Springer-Verlag.
    • (1998) Formal Methods in Computer-Aided Design (FMCAD ‘98) , vol.1522 , pp. 36-48
    • Möller, O.1    Rueß, H.2
  • 4
    • 84957370423 scopus 로고    scopus 로고
    • Deductive-algorithmic verification of reactive and real-time systems
    • Z. Manna and the STeP group. STeP, In R. Alur and T. A. Henzinger, editors, NJ, July/August, Springer-Verlag
    • Z. Manna and the STeP group. STeP: Deductive-algorithmic verification of reactive and real-time systems. In R. Alur and T. A. Henzinger, editors, Computer Aided Verification (CAV 96), volume 1102 of Lecture Notes in Computer Science, pages 415-418, New Brunswick, NJ, July/August 1996. Springer-Verlag.
    • (1996) Computer Aided Verification (CAV 96) , vol.1102 , pp. 415-418
  • 5
    • 84944677742 scopus 로고
    • A prototype verification system
    • Deepak Kapur, editor, Saratoga, NY, Springer-Verlag
    • S. Owre, J. M. Rushby, and N. Shankar. PVS: A prototype verification system. In Deepak Kapur, editor, 11th International Conference on Automated Deduction (CADE), volume 607 of Lecture Notes in Artificial Intelligence, pages 748-752, Saratoga, NY, June 1992. Springer-Verlag.
    • (1992) 11Th International Conference on Automated Deduction (CADE) , vol.607 , pp. 748-752
    • Owre, S.1    Rushby, J.M.2    Pvs, N.S.3
  • 7
    • 84976831213 scopus 로고
    • Shostak. Deciding combinations of theories
    • January
    • Robert E. Shostak. Deciding combinations of theories. Journal of the A CM, 31(1):1-12, January 1984.
    • (1984) Journal of the a CM , vol.31 , Issue.1 , pp. 1-12
    • Robert, E.1

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