LogoopenSUSE Build Service > Projects
Sign Up | Log In

Why Software Verification Platform

 This platform contains several tools:

    * a general-purpose verification condition generator (VCG), Why, which is used as a back-end by other verification tools (see below) but which can also be used directly to verify programs (see for instance these examples) ;
    * a tool Krakatoa for the verification of Java programs;
    * a tool Caduceus for the verification of C programs; note that Caduceus is somewhat obsolete now and users should turn to Frama-C instead. 

Source Files

Filename Size Changed Actions
fix-libdir.patch 531 Bytes Download File
jessie.desktop 191 Bytes Download File
krakatoa-KML-fixes.patch 960 Bytes Download File
why-2.34-Makefile.in.patch 916 Bytes Download File
why-2.41.tar.gz 1.43 MB Download File
why.changes 2.18 KB Download File
why.spec 5.63 KB Download File
why3-version.patch 971 Bytes Download File

Comments for home:ptrommler:formal (0)

Login required, please login or signup in order to comment