Verification of Harware and Software

Slides for the talk on 18/1/04

E. Allen Emerson.Automated Temporal Reasoning about Reactive Systems.

Logics for Concurrency: Structure versus Automata, F. Moller and G. Birtwistle (eds.), Springer LNCS no. 1043, Pages 111-120

E. Allen Emerson. Temporal and Modal Logic.

Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics 1990, J. van Leeuwen, ed., North-Holland Pub. Co./MIT Press, Pages 995-1072.

A. Rabinovich

Expressive Power of Temporal Logics

In Proc. 13th Int. Conf. on Concurrency Theory. Brno, Czech Republic Aug. 2002}, volume 2421 of Lecture Notes in Computer Science, pages 57--75. Springer, 2002.

Ph. Schnoebelen.

The complexity of temporal logic model checking.

In Advances in Modal Logic, papers from 4th Int. Workshop on Advances in Modal Logic (AiML'2002), Sep.-Oct. 2002, Toulouse, France. World Scientific, 2003. To appear.

W. Thomas.

Languages, automata and logic.

Technical Report 9607, Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel, Germany, May 1996.