Cocktail II 2.1 beta Download
Downloading Cocktail II 2.1 beta
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.
To start download, click the following link:
Report Link Error |
Back to Cocktail II 2.1 beta Details page
Popular software of Software Development, Misc. Programming
Human Pictcha - Human Pictcha is a protection in a form of an image (a captcha), which can be embedded inside your web forms, and which will filter out various forum spam, guestbook spam, form spam, signup spam, password attacks. For PHP and Perl.
TRIUMPH BOARD TOUCH - With this software you can control Triumph Board.
Web Page Maker - Web Page Maker is an easy-to-use web page design tool that allows you to create and upload a professional web page in minutes without having to know HTML.
Aurora Web Editor 2007 Professional - Easily create your own website. Make your Web site look professional using the included templates and over 100 royalty-free graphics and photos. You can design Web pages visually with no coding required. A HTML editing mode is also available.
Sothink DHTML Menu Builder Free Version - Sothink Free DHTML Menu Builder creates DHTML menu without writing any code. The application has built-in templates, live preview and Publish Wizard, which make building free DHTML menu easier. Seamlessly integrate with Dreamweaver and FrontPage.
WAB-Processor - Windows Address Book Processor is a Delphi Component that provides easy access to Windows Address Book (WAB). You can directly edit, add and delete contacts and groups (distribution lists) from WAB.
AntiDuplicate - Make hardware keys for anti-piracy protection - using your ordinary computer! Software developers can now prepare a hardware key (dongle) from standard USB flash drive. The result is the media for software distribution and USB token at the same time.
RSView32 - RSView®32™ is an integrated, component-based HMI for monitoring and controlling automation machines and processes.
Easy Text To HTML Converter - Easy Text To HTML Converter provides fast and easy conversion of Text Files and Text Blocks pasted from Clipboard to HTML. The conversion is being performed in four different modes: 'Single File', 'Files List', 'Text Block' and 'Table to HTML'.
123 Cucusoft iPod Movie/Video Converter - 123 Cucusoft iPod Movie/Video Converter is the easiest-to-use video converter software for Apple iPod
Movie and iPod Video.