Books

From Practical Software Verification

Jump to: navigation, search

Decision Procedures: An Algorithmic Point of View - Daniel Kroening, Ofer Strichman, 2008

Principles of Model Checking - Christel Baier and Joost-Pieter Katoen, 2008

Model Checking - Edmund M. Clarke, Orna Grumberg and Doron A. Peled, 2000

Secure Programming with Static Analysis - Brian Chess and Jacob West, 2007

Principles of Program Analysis - Flemming Nielson, 2005

Compilers: Principles, Techniques, and Tools (The Dragon Book) - Alfred V. Aho, 1986

Retrieved from "http://www.unprotectedhex.com/psv/index.php/Books"
Personal tools