Automated Verification - Auxiliary Readings

• A. Pnueli: Verification Engineering: A Future Profession. (A. M. Turing Award Lecture) 16th ACM Symp. on Principles of Distributed Computing (PODC 1990), San Diego, August 1997.

• Z. Manna and A. Pnueli: The Temporal Logic of Reactive and Concurrent Systems - Specification, Springer-Verlag, 1992. Chapter 1 provides an indepth study of the transition-systems model. Chapter 2 discusses concurrency and fairness.

• H. Lewis and C. Papadimitriou: Elements of The Theory of Computation, Prentice Hall, 1997. Chapters 1 and 2 provides a basic overview of the theory of finite automata on finite words.

• C. Papadimitriou: Complexity Theory, Addison Wesley, 1994. Section 3 of Chapter 7 (Part III) discusses Savitch's Theorem (See Thoerem 7.5 on p. 149).

• T.H. Cormen, C.E. Leiserson, R.L. Rivest, Introduction to Algorithms, MIT Press, 1990. See Chapter 23.3 for a discussion of depth-first search.

• M.Y. Vardi: An automata-theoretic approach to linear temporal logic In Logics for Concurrency: Structure versus Automata, Springer-Verlag, Lecture Notes in Computer Science 1043, 1996, pp. 238-266.