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.
18 Setembro 2018, 17:00 • Paulo Alexandre Carreira Mateus
Presentation. Syllabus. Bibliography. Evaluation.