메뉴 건너뛰기




Volumn 2619, Issue , 2003, Pages 160-175

Proof-like counter-examples

Author keywords

[No Author keywords available]

Indexed keywords

AIR NAVIGATION;

EID: 35048896284     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36577-x_12     Document Type: Article
Times cited : (33)

References (15)
  • 1
    • 84957091429 scopus 로고    scopus 로고
    • NuSMV: A new Symbolic Model Verifier
    • N. Halbwachs and D. Peled, editors, Proceedings of 11th Conference on Computer-Aided Verification (CAV'99), number 1633 Trento, Italy, July Springer
    • A. Cimatti, E.M. Clarke, F. Giunchiglia, and M. Roveri. NuSMV: a new Symbolic Model Verifier. In N. Halbwachs and D. Peled, editors, Proceedings of 11th Conference on Computer-Aided Verification (CAV'99), number 1633 in Lecture Notes in Computer Science, pages 495-499, Trento, Italy, July 1999. Springer.
    • (1999) Lecture Notes in Computer Science , pp. 495-499
    • Cimatti, A.1    Clarke, E.M.2    Giunchiglia, F.3    Roveri, M.4
  • 8
    • 0029323608 scopus 로고
    • About the Expressive Power of CTL Combinators
    • F. Laroussinie. "About the Expressive Power of CTL Combinators". Information Processing Letters, 54:343-345, 1995.
    • (1995) Information Processing Letters , vol.54 , pp. 343-345
    • Laroussinie, F.1
  • 10
    • 84958739943 scopus 로고    scopus 로고
    • Certifying Model Checkers
    • Proceedings of 13th International Conference on Computer-Aided Verification (CAV'01), SpringerVerlag
    • K. Namjoshi. Certifying Model Checkers. In Proceedings of 13th International Conference on Computer-Aided Verification (CAV'01), volume 2102 of LNCS. SpringerVerlag, 2001.
    • (2001) LNCS , vol.2102
    • Namjoshi, K.1
  • 12
    • 84944045904 scopus 로고    scopus 로고
    • From falsification to verification
    • FST&TCS, Springer-Verlag
    • D. Peled, A. Pnueli, and L. Zuck. From falsification to verification. In FST&TCS, volume 2245 of LNCS. Springer-Verlag, 2001.
    • (2001) LNCS , vol.2245
    • Peled, D.1    Pnueli, A.2    Zuck, L.3
  • 13
    • 84894622143 scopus 로고    scopus 로고
    • From model checking to a temporal proof
    • Proceedings of the 8th International SPIN Workshop (SPIN'2001), Toronto, Canada, May Springer
    • D. Peled and L. Zuck. From model checking to a temporal proof. In Proceedings of the 8th International SPIN Workshop (SPIN'2001), volume 2057 of LNCS, pages 1-14, Toronto, Canada, May 2001. Springer.
    • (2001) LNCS , vol.2057 , pp. 1-14
    • Peled, D.1    Zuck, L.2
  • 15
    • 84937540111 scopus 로고    scopus 로고
    • Evidence-Based Model Checking
    • Proceedings of 14th Conference on Computer-Aided Verification (CAV'02), Copenhagen, Denmark, July Springer-Verlag
    • L Tan and R. Cleaveland. Evidence-Based Model Checking. In Proceedings of 14th Conference on Computer-Aided Verification (CAV'02), volume 2404 of LNCS, pages 455-470, Copenhagen, Denmark, July 2002. Springer-Verlag.
    • (2002) LNCS , vol.2404 , pp. 455-470
    • Tan, L.1    Cleaveland, R.2


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