Motor Industry Software Reliability Association (1998):
Guidelines for the use of the C language in vehicle based software.
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.
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.
Leonardo De Moura & Nikolaj Bjørner (2011):
Satisfiability modulo theories: introduction and applications.
Communications of the ACM 54(9),
doi:10.1145/1995376.1995394.
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.
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.
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.
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.
Robert C. Seacord (2008):
The CERT C Secure Coding Standard,
1st edition.
Addison-Wesley Professional.