The Algorithmic Verification of Reactive Systems
1998 Francqui Chair Lectures Given at the FUNDP (Namur)

Pierre Wolper
Université de Liège

• Verification: Dreams and Reality (Inaugural Lecture) (10/2/98)

• Modelling Concurrent and Reactive Systems (17/2/98)

• Automata on Infinite Objects and the Specification of Properties (24/2/98)

• Temporal Logics and their Relation to Automata (3/3/98)

• State-Space Exploration and Basic Verification Algorithms (10/3/98)

• Algorithms for Checking Temporal Logic Properties (Branching Time) (17/3/98)

• Partial-Order Verification Algorithms (24/3/98)

• Symbolic Verification Algorithms (31/3/98)

• Algorithms for Compositional Verification (21/4/98)

• Algorithms for Systems with Infinite State Spaces (28/4/98)

• All Lectures