This book constitutes the refereed proceedings of the 16th International Conference on Computer Aided Verification, CAV 2004, held in Boston, MA, USA in July 2004. reviewed and selected from 144 submissions. The papers cover all current issues in computer aided verification and model checking, ranging from foundational and methodological issues to the evaluation of major tools and systems.

The book constitutes the refereed proceedings of the 9th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in San Francisco, USA, in January 2008. The 21 revised full papers presented together with 2 invited lectures and 2 invited tutorials were carefully reviewed and selected from a total of over 60 submissions. The papers feature current research from the communities of verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, cross-fertilization, and...

Many books focus on increasing the quality of software through the use of formal methods. However, most books embrace one particular method, and present it as the suggested solution for the software reliability problem. This book presents a wider picture of formal methods, through a collection of notations and techniques. It compares them, and discusses their advantages and disadvantages. One of the main challenges of formal methods is in transferring the tech- nology developed by researchers to the software development community. Re- cently, we seem to be starting to have a better...