1. Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics
2. Christel Baier and Joost-Pieter Katoen . 2008. Principles of Model Checking . The MIT Press . isbn:026 2026 49X http://www.amazon.com/Principles-Model-Checking-Christel-Baier/dp/026202649X Christel Baier and Joost-Pieter Katoen. 2008. Principles of Model Checking. The MIT Press. isbn:026202649X http://www.amazon.com/Principles-Model-Checking-Christel-Baier/dp/026202649X
3. A Survey of Symbolic Execution Techniques
4. Lessons Learned From Microkernel Verification — Specification is the New Bottleneck
5. Sandrine Blazy , Vincent Laporte , André Maroneze , and David Pichardie . 2013. Formal Verification of a C Value Analysis Based on Abstract Interpretation . In Static Analysis, Francesco Logozzo and Manuel Fähndrich (Eds.). Springer , 324–344. isbn:978-3-642-38856-9 Sandrine Blazy, Vincent Laporte, André Maroneze, and David Pichardie. 2013. Formal Verification of a C Value Analysis Based on Abstract Interpretation. In Static Analysis, Francesco Logozzo and Manuel Fähndrich (Eds.). Springer, 324–344. isbn:978-3-642-38856-9