Why is not any longer under active development. Our efforts have moved to the development of Why3.
Why is still maintained, in particular to provide the Jessie plug-in of Frama-C and the Krakatoa front-end for Java.
This version is compatible with Frama-C version Phosphorus
- Last Published
- 23 Aug 2017