Home › Development › Cocktail II

Cocktail II

By M.Franssen

Rating:

2/5 (1)

License type: Freeware

Latest version: 2.1 beta

Last updated: November 3rd, 2011

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...

Main window

Related programs:

Mobipocket Creator 4.2
Mobipocket Creator creates eBooks and includes edit, convert, encryption, import
sizling 3.0
Sizzling Hot game is one of the most popular games on the internet.
E-Playbook 3.6
E-Playbook is a 'windows' computer program that is used to help football coaches
Cocktail Mania 1.0
You get to open hip bars and nightclubs all over the wordl.
Bingo Game-lottery for parties 4.9
A powerful computer lottery program with simple handle interface.
Cocktail Movie Theme 1.0
This theme contain some wallpapers based on Indian movies to color your desktop.
JUICE program 7.0
It is designed for editing and analyzing phytosociological data.
Summer Fresh Screensaver 2.0
Enjoy fresh cold kiwi, strawberry, lemon and orange drinks.