Formal Methods

Here is a list of Formal Methods books that are or have been used at the University of California Berkeley.


Model
Checking

Logic in
Computer Science

Introduction to
Embedded Systems

The SPIN
Model Checker

Introduction to
Automata Theory ...

Please spread the word by sharing on social media:

Share on Facebook  Tweet  Share on LinkedIn  Submit to Reddit  Pin it  Add to Pocket