jessie.desktopwhy-jessiewhyjessieInterface between why and Frama-C
Jessie is an interface between why and Frama-C.
Why is a software verification platform that applies formal proving tools to annotated programs. The Jessie plugin provide the ability to analyze C programs by invoking Frama-C.