메뉴 건너뛰기




Volumn 2575, Issue , 2003, Pages 206-222

On the expressiveness of 3-valued models

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING;

EID: 35248847830     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36384-x_18     Document Type: Article
Times cited : (73)

References (23)
  • 1
    • 84957073398 scopus 로고    scopus 로고
    • Model Checking Partial State Spaces with 3-Valued Temporal Logics
    • Proceedings of the 11th Conference on Computer Aided Verification, Trento, July Springer-Verlag
    • G. Bruns and P. Godefroid. Model Checking Partial State Spaces with 3-Valued Temporal Logics. In Proceedings of the 11th Conference on Computer Aided Verification, volume 1633 of Lecture Notes in Computer Science, pages 274-287, Trento, July 1999. Springer-Verlag.
    • (1999) Lecture Notes in Computer Science , vol.1633 , pp. 274-287
    • Bruns, G.1    Godefroid, P.2
  • 2
    • 84885220303 scopus 로고    scopus 로고
    • Generalized Model Checking: Reasoning about Partial State Spaces
    • Proceedings of CONCUR'2000 (11th International Conference on Concurrency Theory), University Park, August Springer-Verlag
    • G. Bruns and P. Godefroid. Generalized Model Checking: Reasoning about Partial State Spaces. In Proceedings of CONCUR'2000 (11th International Conference on Concurrency Theory), volume 1877 of Lecture Notes in Computer Science, pages 168-182, University Park, August 2000. Springer-Verlag.
    • (2000) Lecture Notes in Computer Science , vol.1877 , pp. 168-182
    • Bruns, G.1    Godefroid, P.2
  • 3
    • 84903151157 scopus 로고    scopus 로고
    • Boolean and Cartesian Abstraction for Model Checking C Programs
    • Proceedings of TACAS'2001 (Tools and Algorithms for the Construction and Analysis of Systems), Springer-Verlag, April
    • T. Ball, A. Podelski, and S. K. Rajamani. Boolean and Cartesian Abstraction for Model Checking C Programs. In Proceedings of TACAS'2001 (Tools and Algorithms for the Construction and Analysis of Systems), volume 2031 of Lecture Notes in Computer Science. Springer-Verlag, April 2001.
    • (2001) Lecture Notes in Computer Science , vol.2031
    • Ball, T.1    Podelski, A.2    Rajamani, S.K.3
  • 4
    • 70350760682 scopus 로고    scopus 로고
    • The SLAM Toolkit
    • Proceedings of CAV'2001 (13th Conference on Computer Aided Verification), Paris, July Springer-Verlag
    • T. Ball and S. Rajamani. The SLAM Toolkit. In Proceedings of CAV'2001 (13th Conference on Computer Aided Verification), volume 2102 of Lecture Notes in Computer Science, pages 260-264, Paris, July 2001. Springer-Verlag.
    • (2001) Lecture Notes in Computer Science , vol.2102 , pp. 260-264
    • Ball, T.1    Rajamani, S.2
  • 7
    • 84957067996 scopus 로고    scopus 로고
    • Experience with Predicate Astraction
    • Proc. of the 11th International Conference on Computer-Aided Verification, Trento, July Springer Verlag
    • S. Das, D. L. Dill, and S. Park. Experience with Predicate Astraction. In Proc. of the 11th International Conference on Computer-Aided Verification, Lecture Notes in Computer Science, pages 160-172, Trento, July 1999. Springer Verlag.
    • (1999) Lecture Notes in Computer Science , pp. 160-172
    • Das, S.1    Dill, D.L.2    Park, S.3
  • 8
    • 84944065857 scopus 로고    scopus 로고
    • Abstraction-based Model Checking using Modal Transition Systems
    • Proceedings of CONCUR'2001 (12th International Conference on Concurrency Theory), Aalborg, August Springer-Verlag
    • P. Godefroid, M. Huth, and R. Jagadeesan. Abstraction-based Model Checking using Modal Transition Systems. In Proceedings of CONCUR'2001 (12th International Conference on Concurrency Theory), volume 2154 of Lecture Notes in Computer Science, pages 426-440, Aalborg, August 2001. Springer-Verlag.
    • (2001) Lecture Notes in Computer Science , vol.2154 , pp. 426-440
    • Godefroid, P.1    Huth, M.2    Jagadeesan, R.3
  • 9
    • 84937565742 scopus 로고    scopus 로고
    • Automatic Abstraction Using Generalized Model Checking
    • Proceedings of CAV'2002 (14th Conference on Computer Aided Verification), Copenhagen, July Springer-Verlag
    • P. Godefroid and R. Jagadeesan. Automatic Abstraction Using Generalized Model Checking. In Proceedings of CAV'2002 (14th Conference on Computer Aided Verification), volume 2404 of Lecture Notes in Computer Science, pages 137-150, Copenhagen, July 2002. Springer-Verlag.
    • (2002) Lecture Notes in Computer Science , vol.2404 , pp. 137-150
    • Godefroid, P.1    Jagadeesan, R.2
  • 10
    • 84947441305 scopus 로고    scopus 로고
    • Construction of Abstract State Graphs with PVS
    • Proceedings of the 9th International Conference on Computer Aided Verification, Haifa, June Springer-Verlag
    • S. Graf and H. Saidi. Construction of Abstract State Graphs with PVS. In Proceedings of the 9th International Conference on Computer Aided Verification, volume 1254 of Lecture Notes in Computer Science, pages 72-83, Haifa, June 1997. Springer-Verlag.
    • (1997) Lecture Notes in Computer Science , vol.1254 , pp. 72-83
    • Graf, S.1    Saidi, H.2
  • 12
    • 35048831379 scopus 로고    scopus 로고
    • Modal Transition Systems: A Foundation for Three-Valued Program Analysis
    • Proceedings of the European Symposium on Programming (ESOP'2001), Springer-Verlag, April
    • M. Huth, R. Jagadeesan, and D. Schmidt. Modal Transition Systems: a Foundation for Three-Valued Program Analysis. In Proceedings of the European Symposium on Programming (ESOP'2001), volume 2028 of Lecture Notes in Computer Science. Springer-Verlag, April 2001.
    • (2001) Lecture Notes in Computer Science , vol.2028
    • Huth, M.1    Jagadeesan, R.2    Schmidt, D.3
  • 15
    • 34548851581 scopus 로고    scopus 로고
    • Model Checking Modal Transition Systems using Kripke Structures
    • Proceedings of the Third International Workshop on Verification, Model Checking and Abstract Interpretation (VMCAI'2002), Venice, January Springer-Verlag
    • M. Huth. Model Checking Modal Transition Systems using Kripke Structures. In Proceedings of the Third International Workshop on Verification, Model Checking and Abstract Interpretation (VMCAI'2002), volume 2294 of Lecture Notes in Computer Science, pages 302-316, Venice, January 2002. Springer-Verlag.
    • (2002) Lecture Notes in Computer Science , vol.2294 , pp. 302-316
    • Huth, M.1
  • 16
    • 23044532135 scopus 로고    scopus 로고
    • Possibilistic and Probabilistic Abstraction-based Model Checking
    • Proceedings of the PAPM-Probmiv 2002 Workshop, Copenhagen, July Springer-Verlag
    • M. Huth. Possibilistic and Probabilistic Abstraction-based Model Checking. In Proceedings of the PAPM-Probmiv 2002 Workshop, volume 2329 of Lecture Notes in Computer Science, pages 115-134, Copenhagen, July 2002. Springer-Verlag.
    • (2002) Lecture Notes in Computer Science , vol.2329 , pp. 115-134
    • Huth, M.1
  • 18
    • 49049126479 scopus 로고
    • Results on the Propositional Mu-Calculus
    • D. Kozen. Results on the Propositional Mu-Calculus. Theoretical Computer Science, 27:333-354, 1983.
    • (1983) Theoretical Computer Science , vol.27 , pp. 333-354
    • Kozen, D.1
  • 19
    • 85008979790 scopus 로고
    • Modal Specifications
    • J. Sifakis, editor, Workshop on Automatic Verification Methods for Finite-State Systems, Springer-Verlag, June International Workshop, Grenoble, France
    • K. G. Larsen. Modal Specifications. In J. Sifakis, editor, Workshop on Automatic Verification Methods for Finite-State Systems, volume 407 of Lecture Notes in Computer Science, pages 232-246. Springer-Verlag, June 1989. International Workshop, Grenoble, France.
    • (1989) Lecture Notes in Computer Science , vol.407 , pp. 232-246
    • Larsen, K.G.1
  • 21
    • 84990660292 scopus 로고
    • A Modal Characterization of Observable Machine Behavior
    • Proc. CAAP'81, Springer-Verlag
    • R. Milner. A Modal Characterization of Observable Machine Behavior. In Proc. CAAP'81, volume 112 of Lecture Notes in Computer Science, pages 25-34. Springer-Verlag, 1981.
    • (1981) Lecture Notes in Computer Science , vol.112 , pp. 25-34
    • Milner, R.1
  • 22
    • 84957706882 scopus 로고    scopus 로고
    • Model Checking: A Tutorial Introduction
    • Proceedings of the 6th International Static Analysis Symposium (SAS'99), Berlin, September Springer-Verlag
    • M. Muller-Olm, D. Schmidt, and B. Steffen. Model Checking: A Tutorial Introduction. In Proceedings of the 6th International Static Analysis Symposium (SAS'99), volume 1694 of Lecture Notes in Computer Science, pages 331-354, Berlin, September 1999. Springer-Verlag.
    • (1999) Lecture Notes in Computer Science , vol.1694 , pp. 331-354
    • Muller-Olm, M.1    Schmidt, D.2    Steffen, B.3


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