메뉴 건너뛰기




Volumn 1102, Issue , 1996, Pages 13-25

A conjunctively decomposed boolean representation for symbolic model checking

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; COMPUTER AIDED ANALYSIS;

EID: 84957656917     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61474-5_54     Document Type: Conference Paper
Times cited : (20)

References (7)
  • 2
    • 0022769976 scopus 로고
    • Graph-based algorithms for boolean function manipulation
    • R. E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, C-35(8), 1986.
    • (1986) IEEE Transactions on Computers , Issue.8
    • Bryant, R.E.1
  • 3
    • 0000531015 scopus 로고
    • Verification of synchronous sequential machines based on symbolic execution
    • In Joseph Sifakis, editor, Grenoble, France, volume 407 of Lecture Notes in Computer Science. Springer-Verlag, June
    • Olivier Coudert, Christian Berthet, and Jean Christophe Madre. Verification of synchronous sequential machines based on symbolic execution. In Joseph Sifakis, editor, Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, volume 407 of Lecture Notes in Computer Science. Springer-Verlag, June 1989.
    • (1989) Automatic Verification Methods for Finite State Systems, International Workshop
    • Coudert, O.1    Berthet, C.2    Madre, J.C.3
  • 4
    • 0028518422 scopus 로고
    • Efficient boolean manipulation with obdd's can be extended to fbdd's
    • J. Gergov and C. Meinel. Efficient boolean manipulation with obdd's can be extended to fbdd's. IEEE Transactions on Computers, 43(10):1197-209, Oct. 1994.
    • (1994) IEEE Transactions on Computers , vol.43 , Issue.10 , pp. 1197-1209
    • Gergov, J.1    Meinel, C.2
  • 5
    • 84992651275 scopus 로고
    • Efficient verification with bdds using implicitly conjoined invariants
    • In C. Courcoubetis, editor, Berlin, Germany, Springer-Verlag
    • A. J. Hu and D. L. Dill. Efficient verification with bdds using implicitly conjoined invariants. In C. Courcoubetis, editor, Computer Aided Verification. 5th International Conference, CAV ‘93, pages 3-14, Berlin, Germany, 1993. Springer-Verlag.
    • (1993) Computer Aided Verification. 5Th International Conference, CAV ‘93 , pp. 3-14
    • Hu, A.J.1    Dill, D.L.2


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