Cocktail II (by lack of a better name) is a follow up project of Cocktail. It is a tool for the formal static verification of programs. The language that is currently supported is small, but already demonstrates some interesting features, like recursive datatypes.
Comments