Version française
Home     About     Download     Resources     Contact us    
Browse thread
First release of focalize, a development environment for high integrity programs.
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
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