Version française
Home     About     Download     Resources     Contact us    

The Caml Hump: Focalize

Focalize

FoCaLize is an integrated development environment to write high integrity programs and systems. It provides a purely functional language to formally express specifications, describe the design and code the algorithms. Within the functional language, FoCaLize provides a logical framework to express the properties of the code. A simple declarative language provides the natural expression of proofs of those properties from within the program source code.
Homepage ]
Author: Focalize Team.
Last modification date:14-Jan-2013
Version:0.8.0
Development status:Beta
Kind: Development tools
Applications written in Caml :: Scientific software
Topic: Science :: Maths and Logic
Programming languages
Homepage:http://focalize.inria.fr/