26 lines
1 KiB
XML
26 lines
1 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<application>
|
|
<id type="desktop">jessie.desktop</id>
|
|
<licence>CC0</licence>
|
|
<description>
|
|
<p>
|
|
Jessie is an interface between why and Frama-C.
|
|
</p>
|
|
<p>
|
|
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.
|
|
</p>
|
|
</description>
|
|
<screenshots>
|
|
<screenshot type="default">http://krakatoa.lri.fr/jessie/max_why3ide.png</screenshot>
|
|
<screenshot>http://krakatoa.lri.fr/jessie/max_ptr_why3ide.png</screenshot>
|
|
<screenshot>http://krakatoa.lri.fr/jessie/binary_search_raw.png</screenshot>
|
|
<screenshot>http://krakatoa.lri.fr/jessie/binary_search_ovfl.png</screenshot>
|
|
<screenshot>http://krakatoa.lri.fr/jessie/binary_search_behav.png</screenshot>
|
|
</screenshots>
|
|
<url type="homepage">http://krakatoa.lri.fr/</url>
|
|
<!-- FIXME: change this to an upstream email address for spec updates
|
|
<updatecontact>someone_who_cares@upstream_project.org</updatecontact>
|
|
-->
|
|
</application>
|