Cocktail II

It is a tool for the formal static verification of programs.
Download

Cocktail II Ranking & Summary

Advertisement

  • Rating:
  • License:
  • Freeware
  • Publisher Name:
  • M.Franssen
  • Operating Systems:
  • Windows
  • File Size:
  • 32.4 MB

Cocktail II Tags


Cocktail II Description

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. Share your experience: Write a review about this program


Cocktail II Related Software

About SoftwareSea