Verification & Abstraction 2015
Indice degli argomenti
-
We will give an overview of formal languages and algorithms used for verification of (abstractions) of hardwarre, software and communication protocols with particular attention for concurrent and distributed systems (finite and infinite-state specifications).
-
Schedule
- 17/6: 10-12 Talk Raskin (Games and Synthesis)
- 23/6: 9-13 Introduction, Temporal Logic (CTL)
- 25/6: 9-13 LTL, Existential/Universal Abstractions, Abstraction Refinement
- 29/6: 14-16 Abstract Interpretation, Fixpoint and Widening
- July: Infinite-state/Parameterized systems