메뉴 건너뛰기




Volumn 1954, Issue , 2000, Pages 390-404

Scalable distributed on-the-fly symbolic model checking

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED DESIGN; DIGITAL STORAGE; FORMAL METHODS; INVERSE PROBLEMS; SCALABILITY;

EID: 84947247346     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper
Times cited : (25)

References (18)
  • 4
    • 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): 677-691, 1986.
    • (1986) IEEE Transactions on Computers , vol.C-35 , Issue.8 , pp. 677-691
    • Bryant, R.E.1
  • 5
    • 0003347456 scopus 로고
    • Symbolic model checking with partitioned transition relations
    • A. Halaas and P. B. Denyer, editors, August, Winner of the SidneyMichaelson Best Paper Award
    • J. R. Burch, E. M. Clarke, and D. E. Long. Symbolic model checking with partitioned transition relations. In A. Halaas and P. B. Denyer, editors, Proceedings of the 1991 International Conference on Very Large Scale Integration, August 1991. Winner of the SidneyMichaelson Best Paper Award.
    • (1991) Proceedings of the 1991 International Conference on Very Large Scale Integration
    • Burch, J.R.1    Clarke, E.M.2    Long, D.E.3
  • 8
    • 84937574694 scopus 로고
    • Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking
    • E. Clarke, O. Grumberg, K. McMillan, and X. Zhao. Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking. In 32rd Design Automation Conference, pages 655-660, 1995.
    • (1995) 32rd Design Automation Conference , pp. 655-660
    • Clarke, E.1    Grumberg, O.2    McMillan, K.3    Zhao, X.4
  • 9
    • 85029431680 scopus 로고
    • Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams
    • R. Kurshan and E. M. Clarke, editors, Springer-Verlag, New Brunswick, NJ, June
    • 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, DIMACS, LNCS 531, pages 23-32. Springer-Verlag, New Brunswick, NJ, June 1990.
    • (1990) Workshop on Computer Aided Verification, DIMACS, LNCS 531 , pp. 23-32
    • Coudert, O.1    Madre, J.C.2    Berthet, C.3


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