Lecture 2 - Asynchronous programming

20 Setembro 2018, 14:00 Paulo Alexandre Carreira Mateus

Pseudo-code for asynchronous programming. Transition systems, paths, traces, linear time properties. Satisfaction of a linear time property by a transition system. Invariant properties. Decidability and complexity of verifying invariant properties. Safety properties. Basic results concerning safety properties.

Lecture 1

18 Setembro 2018, 17:00 Paulo Alexandre Carreira Mateus

Presentation. Syllabus. Bibliography. Evaluation.