메뉴 건너뛰기




Volumn 2318 LNCS, Issue , 2002, Pages 230-239

Comparing symbolic and explicit model checking of a software system

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

EID: 84893531526     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46017-9_18     Document Type: Conference Paper
Times cited : (24)

References (17)
  • 7
    • 0022769976 scopus 로고
    • Graph-based algorithms for Boolean function manipulation
    • R. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, C-35(8), 1986.
    • (1986) IEEE Transactions on Computers , vol.C-35 , Issue.8
    • Bryant, R.1
  • 9
    • 0038525885 scopus 로고    scopus 로고
    • Model checking the garbage collection mechanism of SMV
    • S. D. Stoller and W. Visser, editors Elsevier Science Publishers
    • C. Eisner. Model checking the garbage collection mechanism of SMV. In S. D. Stoller and W. Visser, editors, Electronic Notes in Theoretical Computer Science, Volume 55. Elsevier Science Publishers, 2001.
    • (2001) Electronic Notes in Theoretical Computer Science , vol.55
    • Eisner, C.1
  • 17
    • 84947269280 scopus 로고    scopus 로고
    • Pruning techniques for the SAT-based bounded model checking problem
    • T. Margaria and T. F. Melham, editors Springer
    • O. Shtrichman. Pruning techniques for the SAT-based bounded model checking problem. In T. Margaria and T. F. Melham, editors, CHARME, Volume 2144 of Lecture Notes in Computer Science. Springer, 2001.
    • (2001) CHARME, Volume 2144 of Lecture Notes in Computer Science
    • Shtrichman, O.1


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