Topics in
Software Engineering: Logic, Automata and Games in Automated
Verification
The course csc2125 will be offered every second year and is intended
to cover recent advances in automated verification. The subject
matter will vary from year to year. This year, we focus
on Automata and Infinite Games in model-checking, and will cover parts of
the book
Erich Gradel, Wolfgang Thomas, Thomas Wilke, eds. Automata, Logics and Infinite Games, 2002. Springer. The book
is available in UofT bookstore, or its electronic edition can be
accessed by clicking on the book title.
Additional readings will come from recent verification literature
and will be available here.