Krakatoa and Jessie: verification tools for Java and C programs

Overview

Frama-C/Why architecture Krakatoa and Jessie are two front-ends of the Why platform for deductive program verification