Formal Methods: Why, Caduceus and Krakatoa

Some links

Why's official site

Some Examples

The following examples are borrowed from the Why distribution.