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.