메뉴 건너뛰기




Volumn 818 LNCS, Issue , 1994, Pages 299-310

Efficient model checking by automated ordering of transition relation partitions

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED ANALYSIS; HEURISTIC ALGORITHMS;

EID: 84968448732     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-58179-0_63     Document Type: Conference Paper
Times cited : (67)

References (12)
  • 3
    • 0022769976 scopus 로고
    • Graph based algorithms for boolean function manipulation
    • Randal E. Bryant. Graph based algorithms for boolean function manipulation. IEEE Transactions on Computers, C-35, 1986.
    • (1986) IEEE Transactions on Computers , vol.C-35
    • Bryant, R.E.1
  • 4
    • 0026913667 scopus 로고
    • Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams
    • September
    • Randal E. Bryant. Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams. ACM Computing Surveys, 24:298-318, September 1992.
    • (1992) ACM Computing Surveys , vol.24 , pp. 298-318
    • Bryant, R.E.1
  • 7
    • 0011589477 scopus 로고
    • Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams
    • R. Kurshan and E. M. Clarke, editors, American Mathematical Society, Providence, RI
    • Olivier Coudert, Jean C. Madre, and Christian Berthet. Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams. In R. Kurshan and E. M. Clarke, editors, Workshop on Computer Aided Verification, D IMA C S, pages 75-84. American Mathematical Society, Providence, RI, 1990.
    • (1990) Workshop on Computer Aided Verification, D IMA C S , pp. 75-84
    • Coudert, O.1    Madre, J.C.2    Berthet, C.3
  • 9
    • 0003928137 scopus 로고
    • Carnegie Mellon University, Pittsburgh, PA
    • K. L. McMillan. The SMV System DRAFT. Carnegie Mellon University, Pittsburgh, PA, 1992.
    • (1992) The SMV System DRAFT
    • McMillan, K.L.1
  • 11
    • 85028778811 scopus 로고
    • PhD thesis, Carnegie Mellon University, May
    • Kenneth L. McMillan. Symbolc Model Checking. PhD thesis, Carnegie Mellon University, May 1992.
    • (1992) Symbolc Model Checking
    • McMillan, K.L.1


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