메뉴 건너뛰기




Volumn 2280 LNCS, Issue , 2002, Pages 312-326

Fine-grain conjunction scheduling for symbolic reachability analysis

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; MODEL CHECKING;

EID: 84888271406     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46002-0_22     Document Type: Conference Paper
Times cited : (15)

References (18)
  • 2
    • 84957376851 scopus 로고    scopus 로고
    • VIS: A system for verification and synthesis
    • T. Henzinger and R. Alur, editors Springer-Verlag, Rutgers University LNCS 1102
    • R. K. Brayton et al. VIS: A system for verification and synthesis. In T. Henzinger and R. Alur, editors, Eighth Conference on Computer Aided Verification (CAV'96), pages 428-432. Springer-Verlag, Rutgers University, 1996. LNCS 1102.
    • (1996) Eighth Conference on Computer Aided Verification (CAV'96) , pp. 428-432
    • Brayton, R.K.1
  • 3
    • 0022769976 scopus 로고
    • Graph-based algorithms for Boolean function manipulation
    • August
    • R. E. Bryant. Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers, C-35(8):677-691, August 1986.
    • (1986) IEEE Transactions on Computers , vol.35 C , Issue.8 , pp. 677-691
    • Bryant, R.E.1
  • 7
    • 0034313430 scopus 로고    scopus 로고
    • Optimal partitioners and end-case placers for standard-cell layout
    • November
    • A. E. Caldwell, A. B. Kahng, and I. Markov. Optimal partitioners and end-case placers for standard-cell layout. IEEE Transactions on Computer-Aided Design, 19(11):1304-1314, November 2000.
    • (2000) IEEE Transactions on Computer-Aided Design , vol.19 , Issue.11 , pp. 1304-1314
    • Caldwell, A.E.1    Kahng, A.B.2    Markov, I.3
  • 9
    • 0000531015 scopus 로고
    • Verification of sequential machines based on symbolic execution
    • J. Sifakis, editor Springer-Verlag LNCS 407
    • O. Coudert, C. Berthet, and J. C. Madre. Verification of sequential machines based on symbolic execution. In J. Sifakis, editor, Automatic Verification Methods for Finite State Systems, pages 365-373. Springer-Verlag, 1989. LNCS 407.
    • (1989) Automatic Verification Methods for Finite State Systems , pp. 365-373
    • Coudert, O.1    Berthet, C.2    Madre, J.C.3
  • 12
    • 84968448732 scopus 로고
    • Efficient model checking by automated ordering of transition relation partitions
    • D. L. Dill, editor Berlin Springer-Verlag. LNCS 818
    • D. Geist and I. Beer. Efficient model checking by automated ordering of transition relation partitions. In D. L. Dill, editor, Sixth Conference on Computer Aided Verification (CAV'94), pages 299-310, Berlin, 1994. Springer-Verlag. LNCS 818.
    • (1994) Sixth Conference on Computer Aided Verification (CAV'94) , pp. 299-310
    • Geist, D.1    Beer, I.2
  • 15
    • 84947275334 scopus 로고    scopus 로고
    • Border-block triangular form and conjunction schedule in image computation
    • W.A. Hunt, Jr. and S.D. Johnson, editors Springer-Verlag, November LNCS 1954
    • I-H. Moon, G. D. Hachtel, and F. Somenzi. Border-block triangular form and conjunction schedule in image computation. In W.A. Hunt, Jr. and S.D. Johnson, editors, Formal Methods in Computer Aided Design, pages 73-90. Springer-Verlag, November 2000. LNCS 1954.
    • (2000) Formal Methods in Computer Aided Design , pp. 73-90
    • Moon, I.-H.1    Hachtel, G.D.2    Somenzi, F.3
  • 17
    • 33745778302 scopus 로고
    • Efficient BDD algorithms for FSM synthesis and verification
    • Presented at Lake Tahoe, CA May
    • R. K. Ranjan, A. Aziz, R. K. Brayton, B. F. Plessier, and C. Pixley. Efficient BDD algorithms for FSM synthesis and verification. Presented at IWLS95, Lake Tahoe, CA., May 1995.
    • (1995) IWLS95
    • Ranjan, R.K.1    Aziz, A.2    Brayton, R.K.3    Plessier, B.F.4    Pixley, C.5
  • 18
    • 0343276958 scopus 로고
    • Automated validation of a communications protocol: The CCITT X.21 recommendation
    • C. H. West and P. Zafiropulo. Automated validation of a communications protocol: The CCITT X.21 recommendation. IBM Journal of Research and Development, 22:60-71, 1978.
    • (1978) IBM Journal of Research and Development , vol.22 , pp. 60-71
    • West, C.H.1    Zafiropulo, P.2


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