Contents of the course
- Ordered structures and Topologies. Scott domains. Denotational and Axiomatic semantics. Abstract interpretation.
- Principles of model-checking. kripke structures and Büchi automata. Temporal logics (LTL, CTL, …).
Practical matters related to the organisation of the course will be presented at the first course.
People in charge:
- Philippe Audebaud, MdC ENS Lyon
- Simon Castellan