Formal Methods

Here you can find lists of great Formal Methods books are or have been used to teach courses at UC Berkeley.





Model Checking

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

1999

Logic in Computer Science: Modelling and Reasoning about Systems

By: Michael Huth

2004

Introduction to Embedded Systems - A Cyber-Physical Systems Approach

By: Edward Ashford Lee, Sanjit Arunkumar Seshia

2013

SPIN Model Checker, The: Primer and Reference Manual

By: Gerard Holzmann

2003

Introduction to Automata Theory, Languages, and Computation

By: John Hopcroft

2006