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 about 2 months ago Download File
jessie.desktop 191 Bytes over 4 years ago Download File
krakatoa-KML-fixes.patch 960 Bytes about 4 years ago Download File
why-2.34-Makefile.in.patch 916 Bytes about 4 years ago Download File
why-2.39.tar.gz 1.62 MB about 2 months ago Download File
why-2.40.tar.gz 1.43 MB about 2 months ago Download File
why.changes 2.18 KB almost 3 years ago Download File
why.spec 5.63 KB about 2 months ago Download File
why3-version.patch 971 Bytes almost 3 years ago Download File

Comments for home:ptrommler:formal (0)