Formal Verification

Here you can find lists of great Formal Verification books are or have been used to teach courses at Oxford.





Decision Procedures: An Algorithmic Point of View

By: Daniel Kroening, Ofer Strichman

2017

Logic in Computer Science: Modelling and Reasoning about Systems

By: Michael Huth

2004

Model Checking

By: Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

1999