Verification of Data-Aware Processes
Logic and Computation (Advanced)
Second week, from 9:00 to 10:30, room E
1. Introduction and Motivation (slides).
2. Data-Centric Dynamic Systems (slides).
3. Verification Logics (slides).
4. Counter Automata and Undecidability Results (slides).
5. Bisimulations and Decidability Results (slides).
6. Exploiting DCDSs: Models, Methods, Concrete Systems (slides).
Reference papers: see here.