Algorithmic Verification
Under and Post graduate level, University of New South Wales, Computer Science Department, 2014
Teaching Years: 2012 to 2015.
Introduction to algorithmic verification including:
- automata (finite and Buchi) theory,
- temporal logics,
- model-checking for finite and infinite systems,
- static analysis