A Provably Correct Embedded Verifier for the Certification of Safety Critical Software.

Alessandro Cimatti Fausto Giunchiglia Paolo Pecchiari Bruno Pietra Joe Profeta Dario Romano Paolo Traverso Bing Yu A Provably Correct Embedded Verifier for the Certification of Safety Critical Software. 202-213 1997 conf/cav/1997 CAV db/conf/cav/cav97.html#CimattiGPPPRTY97 http://dx.doi.org/10.1007/3-540-63166-6_21