Cocktail II

Cocktail II 2.1 beta

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:

Related software

Programming Editor
5.5.5
FREE
This app allows you to simulate, develope and use programs on the Axe platform.
DirectSOFT - Programming
6.3.0.300
Controls and programs various PLC devices created by DirectLOGIC.
CustomViewpoint Scripts
2.01
FREE
Contains a generic script library that compliment Viewpoint functionality.
Programming Without Coding Technology (PWCT)
1.8
FREE
Can visually specify every functional aspect of the program.
Programming without coding technology (Sharp)
1.7
FREE
Free-Open Source software development tool for MS-Windows.