메뉴 건너뛰기




Volumn 4313 LNCS, Issue , 2006, Pages 161-180

A case study in domain-customized model checking for real-time component software

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; DISTRIBUTED COMPUTER SYSTEMS; INFORMATION ANALYSIS; MATHEMATICAL MODELS; MIDDLEWARE; REAL TIME SYSTEMS; SEMANTICS;

EID: 33845945972     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11925040_11     Document Type: Conference Paper
Times cited : (1)

References (19)
  • 6
    • 84948168602 scopus 로고    scopus 로고
    • C. Demartini, R. Iosif, and R. Sisto. dspin : A dynamic extension of SPIN. In Proc. of the 6th International SPIN Workshop, 1680, pages 261-276. Springer-Verlag, Sept. 1999.
    • C. Demartini, R. Iosif, and R. Sisto. dspin : A dynamic extension of SPIN. In Proc. of the 6th International SPIN Workshop, volume 1680, pages 261-276. Springer-Verlag, Sept. 1999.
  • 11
    • 84894629087 scopus 로고    scopus 로고
    • Parallel state space construction for model-checking
    • Proceedings of Eighth International SPIN Workshop, of, Springer-Verlag
    • H. Garavel, R. Mateescu, and I. Smarandache. Parallel state space construction for model-checking. In Proceedings of Eighth International SPIN Workshop, volume 2057 of Lecture Notes in Computer Science, pages 217+. Springer-Verlag, 2001.
    • (2001) Lecture Notes in Computer Science , vol.2057
    • Garavel, H.1    Mateescu, R.2    Smarandache, I.3
  • 14
    • 84944382125 scopus 로고    scopus 로고
    • Achieving scalability in parallel reachability analysis of very large circuits
    • O. Grumberg, editor, Springer
    • T. Heyman, D. Geist, O. Grumberg, and A. Schuster. Achieving scalability in parallel reachability analysis of very large circuits. In O. Grumberg, editor, Computer-Aided Verification, 12th International Conference, volume 1855, pages 20-35. Springer, 2000.
    • (2000) Computer-Aided Verification, 12th International Conference , vol.1855 , pp. 20-35
    • Heyman, T.1    Geist, D.2    Grumberg, O.3    Schuster, A.4
  • 16
    • 84893560898 scopus 로고    scopus 로고
    • Symmetry reduction criteria for software model checking
    • Proceedings of Ninth International SPIN Workshop, of, Springer-Verlag, Apr
    • R. Iosif. Symmetry reduction criteria for software model checking. In Proceedings of Ninth International SPIN Workshop, volume 2318 of Lecture Notes in Computer Science, pages 22-41. Springer-Verlag, Apr. 2002.
    • (2002) Lecture Notes in Computer Science , vol.2318 , pp. 22-41
    • Iosif, R.1
  • 17
    • 35048897462 scopus 로고    scopus 로고
    • Explicit state model checking with hopper
    • Proceedings of Eleventh International SPIN Workshop, of, Springer-Verlag, April
    • M. Jones and E. Mercer. Explicit state model checking with hopper. In Proceedings of Eleventh International SPIN Workshop, volume 2989 of Lecture Notes in Computer Science, pages 146-150. Springer-Verlag, April 2004.
    • (2004) Lecture Notes in Computer Science , vol.2989 , pp. 146-150
    • Jones, M.1    Mercer, E.2
  • 18
    • 84894631380 scopus 로고    scopus 로고
    • Addressing dynamic issues of program model checking
    • Proceedings of Eighth International SPIN Workshop, of, Springer-Verlag
    • F. Lerda and W. Visser. Addressing dynamic issues of program model checking. In Proceedings of Eighth International SPIN Workshop, volume 2057 of Lecture Notes in Computer Science, pages 80-102. Springer-Verlag, 2001.
    • (2001) Lecture Notes in Computer Science , vol.2057 , pp. 80-102
    • Lerda, F.1    Visser, W.2


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