sci-mathematics
Why is a software verification platform. It contains a general-purpose
verification condition generator (VCG) which is used as a back-end
by other verification tools but it can also be used directly to verify
programs. It also provides Krakatoa, a tool or the verification of Java
programs and Caduceus, a tool for the verification of C programs.