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

Browse the full CAV paper archive.