1. Ball, T., Rajamani, S.K.: The SLAM project: Debugging system software via static analysis. In: Conference Record of POPL2002: The 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, Oregon, pp. 1–3 (2002)
2. Barnes, J.: High Integrity Software: The SPARK Approach to Safety and Security. Addison-Wesley, Reading (2003)
3. Baudin, P., Pacalet, A., Raguideau, J., Schoen, D., Williams, N.: Caveat: A tool for software validation. In: International Conference on Dependable Systems and Networks (DSN 2002), IEEE Computer Society Press, Los Alamitos (2002)
4. Boyer, R.S., Moore, J.S.: Integrating decision procedures into heuristic theorem provers: A case study of linear arithmetic. In: Hayes, J.E., Richards, J., Michie, D. (eds.) Machine Intelligence, vol. 11, pp. 83–124 (1988)
5. Bundy, A.: The use of explicit plans to guide inductive proofs. In: Lusk, R., Overbeek, R. (eds.) 9th International Conference on Automated Deduction, pp. 111–120. Springer, Heidelberg (1988); Longer version available from Edinburgh as DAI Research Paper No. 349