| Cocktail II Het is een hulpmiddel voor de formele statische verificatie van programma's |
Download nu |
Cocktail II Rangschikking & Samenvatting
- Naam uitgever:
- M.Franssen
- Besturingssystemen:
- Windows
Cocktail II Tags
Cocktail II Beschrijving
Cocktail II (door een gebrek aan een betere naam) is een follow-upproject van cocktail. Het is een hulpmiddel voor de formele statische verificatie van programma's. De taal die momenteel wordt ondersteund, is klein, maar toont al enkele interessante functies, zoals recursieve datatypes. Deel uw ervaring: Schrijf een beoordeling over dit programma
Cocktail II Gerelateerde software