Archives of the Caml mailing list > Message from Richard Jones

Browse thread

First release of focalize, a development environment for high integrity programs.

Pierre Weis
- David MENTRE
- Richard Jones
  - Raoul Duke

Date:	-- (:)
From:	Richard Jones <rich@a...>
Subject:	Re: [Caml-list] First release of focalize, a development environment for high integrity programs.

On Tue, Mar 24, 2009 at 11:07:29AM +0100, Pierre Weis wrote:
> (0) What is it ?
> ----------------
> 
> 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.

Are there any examples / tutorials?  I skimmed the reference manual
and it has to be said I found it fairly baffling.

Rich.

-- 
Richard Jones
Red Hat