Integrated formal verification of safety-critical software

Ning Ge, Eric Jenn, Nicolas Breton, Yoann Fonteneau. Integrated formal verification of safety-critical software. STTT, 20(4):423-440, 2018. [doi]

Abstract

Abstract is missing.