Automatic verification of abstract state machines

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

Volumn 1633, Issue , 1999, Pages 431-442

  Spielmann, Marc ^a  

^a RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED ANALYSIS; TEMPORAL LOGIC;

ABSTRACT STATE MACHINES; AUTOMATIC VERIFICATION; COMPUTER AIDED VERIFICATIONS; CORRECTNESS PROPERTIES; DECISION ALGORITHMS; SPECIFICATION AND VERIFICATION; VERIFIABILITY; VERIFICATION PROBLEMS;

VERIFICATION;

EID: 84957069428     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48683-6_37     Document Type: Conference Paper

References (12)

1. [BH98] E. Borger and J. Huggins. Abstract State Machines 1988-1998: Commented ASM Bibliography. Bulletin of the EATCS, 64:105-127, February 1998.
2. [Bor95] E. Borger. Why Use Evolving Algebras for Hardware and Software Engineering? In Proceedings of SOFSEM '95, volume 1012 of LNCS, pages 236-271. Springer Verlag, 1995.
3. [CES86] E.M. Clarke, E.A. Emerson, and A.P. Sistla. Automatic Verification of Finite State Concurrent Systems Using Temporal Logic. ACM Trans. on Prog. Lang. and Sys., 8(2):244-263, April 1986.
4. [EF95] H. D. Ebbinghaus and J. Flum. Finite Model Theory. Springer-Verlag, 1995.
5. [EL87] E.A. Emerson and C.L. Lei. Modalities for model checking: branching time logic strikes back. Science of Computer Programming, 8:275-306, 1987.
6. [Eme90] E.A. Emerson. Temporal and Modal Logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 995-11072. Elsevier Science Publishers B.V., 1990.
7. [GM96] E. Gradel and G. McColm. Hierarchies in Transitive Closure Logic, Stratified Datalog and Infinitary Logic. Annals of Pure and Applied Logic, 77:166-199, 1996.
8. [GS99] E. Gradel and M. Spielmann. Logspace Reducibility via Abstract State Machines. Submitted for publication, 1999.
9. [Gur95] Y. Gurevich. Evolving Algebras 1993: Lipari Guide. In E. Borger, editor, Specification and Validation Methods, pages 9-36. Oxford University Press, 1995.
10. [Gur97] Y. Gurevich. May 1997 Draft of the ASM Guide. Technical Report CSE-TR-336-97, University of Michigan, May 1997.
11. [Imm87] N. Immerman. Languages that capture complexity classes. SIAM Journal of Computing, 16:760-778, 1987.
12. [IV97] N. Immerman and M.Y. Vardi. Model Checking and Transitive Closure Logic. In Proceedings of CAV '97, volume 1254 of LNCS, pages 291-302. Springer-Verlag, 1997.