Parosh Aziz Abdulla - Recent Tutorials and Presentations

View Abstraction

- Tutorial: View Abstraction..

- file.

View Abstraction (Slides)

- Tutorial: View Abstraction. .

- file.

View Abstraction

- pdf version of the abpve file..

- file.

Infinite-State Markov Chains (1)

- Tutorial: Framework for model checking of Markov chains induced by Petri nets, Turing machines, communicating processes, etc..

- file.

Infinite-State Markov Chains (2)

- Slides for the above tutorial.

- file.

Timed Push-Down Automata (1)

- Tutorial: Push-Down Automata extended with time.

- file.

Timed Push-Down Automata (2)

- Slides for the above tutorial.

- file.

Priced Timed Petri Nets (1)

- Tutorial: How to check coverability properties for Petri nets when extended both by time and prices.

- file.

Priced Timed Petri Nets (2)

- Slides for the above tutorial.

- file.

Regular Model Checking

- An intorduction.

- file.

Parameterized Systems

- Presentation: A collection of techniques we have designed for verification of parameterized systems.

- file.

Monotonic Abstraction (1)

- Tutorial: A light-weight description of parameterized verification using the techniques we have developed for monotonic abstraction.

- file.

Monotonic Abstraction (2)

- Tutorial: A slightly different (but still light-weight) description of monotonic abstraction.

- file.

Well Quasi-Ordered Transition Systems

- Tutorial: A detailed description of our methods for model checking of infinite-state systems..

- file.

Heap-Manipulating Programs

- Presentation: Using symbolic backward reachability analysis for verification of programs with pointers.

- file.

Priced Timed Petri Nets

- Presentation: Analysis of Priced Discrete-Timed Petri Nets..

- file.