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 (show merged sources derived from linked package)

Filename Size Changed Actions
ignore-warnings.patch 690 Bytes almost 3 years 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.34.tar.gz 3.83 MB about 4 years ago Download File
why-2.35.tar.gz 3.87 MB almost 3 years ago Download File
why.changes 2.18 KB almost 3 years ago Download File
why.spec 6.47 KB almost 3 years ago Download File
why3-version.patch 971 Bytes almost 3 years ago Download File

Comments for home:lorenz:formal (0)