Verification condition generator

#	Item
1	LNCSA Certified Multi-prover Verification Condition Generator Add to Reading List Source URL: proval.lri.fr - Date: 2012-05-14 03:05:39
2	An Integrated Approach to High Integrity Software Verification Andrew Ireland1 , Bill J. Ellis1 , Andrew Cook1 , Roderick Chapman2 , Janet Barnes2 1 Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2006-05-16 11:38:59 Formal methods Automated theorem proving Theoretical computer science Logic in computer science SPARK Loop invariant Mathematical proof Automated reasoning Verification condition generator Formal verification Correctness Conjecture
3	A Software Safety Certification Tool for Automatically Generated Guidance, Navigation and Control Code Add to Reading List Source URL: ti.arc.nasa.gov Language: English Cross-platform software Numerical software Formal methods Simulation software Linear algebra MATLAB Simulink Verification condition generator Formal verification Command-line interface HTML element
4	A Generic Software Safety Document Generator Ewen Denney1 and Ram Prasad Venkatesan?,2 1 2 Add to Reading List Source URL: ti.arc.nasa.gov Language: English Formal methods Theoretical computer science IP Integration by substitution Hoare logic Substitution Mathematical proof KeY Predicate transformer semantics Verification condition generator Initialization Linear temporal logic