sci 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. sci@gentoo.org ?apron? ?coq? ?gappa? ?jessie? ?gtk? ?pff?