Nevertrace claims for model checking

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6349 LNCS, Issue , 2010, Pages 162-179

  Chen, Zhe ^a   Motet, Gilles ^a  

^a INSA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CORRECTNESS PROPERTIES; DESIGN STAGE; EXECUTION TRACE; STATE SPACE; THEORETICAL FOUNDATIONS; TRACE ASSERTIONS; ASYNCHRONOUS COMPOSITION;

MODEL CHECKING;

SEMANTICS;

EID: 78149365715     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16164-3_12     Document Type: Conference Paper

References (9)

1. Holzmann, G.J., Peled, D.: The state of SPIN. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 385-389. Springer, Heidelberg (1996)
2. Holzmann, G.J.: The model checker SPIN. IEEE Transactions on Software Engineering 23(5), 279-295 (1997)
3. Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison- Wesley Professional, Reading (2003)
4. Ben-Ari, M.: Principles of the SPIN Model Checker. Springer, Heidelberg (2008)
5. Gastin, P., Oddoux, D.: Fast LTL to Büchi automata translation. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol. 2102, pp. 53-65. Springer, Heidelberg (2001)
6. Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading (1979)
7. Büchi, J.R.: On a decision method in restricted second order arithmetic. In: Proceedings of the International Congress on Logic, Methodology, and Philosophy of Science, pp. 1-11. Stanford University Press, Stanford (1960)
8. Thomas, W.: Automata on infinite objects. In: Handbook of Theoretical Computer Science. Formal Models and Semantics, vol. B, pp. 133-191. Elsevier Science Publishers B.V, Amsterdam (1990)
9. Gerth, R., Peled, D., Vardi, M.Y., Wolper, P.: Simple on-the-fly automatic verification of linear temporal logic. In: Dembinski, P., Sredniawa, M. (eds.) Proceedings of the 15th IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, pp. 3-18. Chapman & Hall, Boca Raton (1995)