1. Motor Industry Software Reliability Association (1998): Guidelines for the use of the C language in vehicle based software.
  2. Edmund M. Clarke & E. Allen Emerson (1982): Design and Synthesis of synchronization skeletons for branching time temporal logic. In: Logics of Programs Workshop, New York, May 1981, LNCS 131. Springer Verlag, pp. 52–71, doi:10.1007/BFb0025774.
  3. P. Cousot & R. Cousot (1979): Systematic design of program analysis frameworks. In: Conference Record of the Sixth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM Press, New York, NY, San Antonio, Texas, pp. 269–282, doi:10.1145/567752.567778.
  4. Leonardo De Moura & Nikolaj Bjørner (2011): Satisfiability modulo theories: introduction and applications. Communications of the ACM 54(9), doi:10.1145/1995376.1995394.
  5. Vijay D'Silva, Daniel Kroening & Georg Weissenbacher (2008): A Survey of Automated Techniques for Formal Software Verification. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD) 27(7), pp. 1165–1178, doi:10.1109/TCAD.2008.923410.
  6. Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg & Felix Rauch (2007): Model Checking Software at Compile Time. In: Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07. IEEE Computer Society, Washington, DC, USA, pp. 45–56, doi:10.1109/TASE.2007.34.
  7. Maximilian Junker, Ralf Huuck, Ansgar Fehnker & Alexander Knapp (2012): SMT-based False Positive Elimination in Static Program Analysis. In: Toshiaki Aoki & Kenji Taguchi: 14th International Conference on Formal Engineering Methods, Kyoto Japan, Lecture Notes in Computer Science 7635. Springer Berlin Heidelberg, pp. 316–331, doi:10.1007/978-3-642-34281-3_23.
  8. Jean-Pierre Queille & Joseph Sifakis (1982): Specification and verification of concurrent systems in CESAR. In: Proc. Intl. Symposium on Programming, April 6–8. Springer Verlag, pp. 337–350, doi:10.1007/3-540-11494-7_22.
  9. Robert C. Seacord (2008): The CERT C Secure Coding Standard, 1st edition. Addison-Wesley Professional.

Comments and questions to:
For website issues: