Cocktail II

Cocktail II 2.1

Free
It is a tool for the formal static verification of programs
2.0  (1 vote)
2.1 beta (See all)
M.Franssen

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.

Info updated on: