Exemplary Formalization of Secure Coding Guidelines

[1]  Robert C. Seacord.  The CERT C Secure Coding Standard , 2008 .

[2]  Bernhard Beckert,et al.  Verification of Object-Oriented Software. The KeY Approach - Foreword by K. Rustan M. Leino , 2007, The KeY Approach.

[3]  Tobias Nipkow,et al.  A machine-checked model for a Java-like language, virtual machine, and compiler , 2006, TOPL.

[4]  Gerard J. Holzmann,et al.  The SPIN Model Checker , 2003 .

[5]  Marco Pistore,et al.  Nusmv version 2: an opensource tool for symbolic model checking , 2002, CAV 2002.

[6]  Tobias Nipkow,et al.  Isabelle/HOL , 2002, Lecture Notes in Computer Science.

[7]  Dieter Hutter,et al.  VSE: formal methods meet industrial needs , 2000, International Journal on Software Tools for Technology Transfer.

[8]  Sophia Drossopoulou,et al.  Describing the Semantics of Java and Proving Type Soundness , 1999, Formal Syntax and Semantics of Java.

[9]  Yuri Gurevich,et al.  Logic in Computer Science , 1993, Current Trends in Theoretical Computer Science.