Automated Formal Static Analysis and Retrieval of Source Code

Ryan D. Stansifer, Kurt Sieber, Jacques Loeckx, The Foundations of Program Verification ,(1987)

Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Philipp Rümmer, Peter H. Schmitt, Verifying object-oriented programs with KeY: a tutorial formal methods. pp. 70- 101 ,(2006) , 10.1007/978-3-540-74792-5_4

Johann M. Schumann, Automated Theorem Proving in Software Engineering ,(2001)

James Cornelius King, A program verifier ifip congress. pp. 234- 249 ,(1970)

G. Levi, U. Montanari, F. Turini, P. Degano, G. Pacini, P. Asirelli, A. Martèlli, F. Sirovich, A flexible environment for program development based on a symbolic interpreter international conference on software engineering. pp. 251- 263 ,(1979) , 10.5555/800091.802946

Corina S. Păsăreanu, Willem Visser, Verification of Java Programs Using Symbolic Execution and Invariant Generation international workshop on model checking software. pp. 164- 181 ,(2004) , 10.1007/978-3-540-24732-6_13

Michael A. Colón, Henny B. Sipma, Practical Methods for Proving Program Termination computer aided verification. pp. 442- 454 ,(2002) , 10.1007/3-540-45657-0_36

Rodney W. Topor, Interactive program verification using virtual programs The University of Edinburgh. ,(1975)

Sarfraz Khurshid, Corina S. PĂsĂreanu, Willem Visser, Generalized symbolic execution for model checking and testing tools and algorithms for construction and analysis of systems. ,vol. 2619, pp. 553- 568 ,(2003) , 10.1007/3-540-36577-X_40

Alexander Schrijver, Theory of Linear and Integer Programming ,(1986)