Cocktail II download

It is a tool for the formal static verification of programs
Counter
Download the latest version from Software Informer
Scanned by 76 antivirus programs on Feb 25, 2025. The file is clean, see the report.
Version: 2.1 β (x86)
File name: cocktail_ii.exe
Size: 32.4 MB

Latest versions of Cocktail II

2.1 β (latest)
cocktail_ii.exe

Alternative software

Strawberry Perl
Strawberry Perl
Free
rating

It is an environment that enables you to create Pearl applications.

Flowgorithm
Flowgorithm
Free
rating

Create programs using simple flowcharts with Flowgorithm.

Programming Editor
Programming Editor
Free
rating

This app allows you to simulate, develope and use programs on the Axe platform

DirectSOFT - Programming
DirectSOFT
rating

Controls and programs various PLC devices created by DirectLOGIC.

Programming without coding technology (Sharp)
Programming without coding
Free
rating

Free-Open Source software development tool for MS-Windows.