Many textbooks on formal methods and verification do an excellent job of discussing theory -- often at the loss of providing examples. Computation Engineering: Formal Specification and Verification Me
This novel new textbook adopts a tool-oriented approach, teaching many topics through interactive problems before detailing the underlying methods and principles, thus engagingstudents' attenti
