A System for Software Development using Formal Methods
The CAMILA Standard Library 
 Thu Oct 30 17:38:59 MET 1997

Back to the CAMILA home page
  •  CAMILA is a software development environment intended to promote the use of formal methods in industrial software environments.

The following are among the standard modules of the CAMILA distribution package:

And this is a small example of how to use these modules.

 The CAMILA project has been funded by JNICT contract Ref. 169/90. 

 Copyright @ 1997 DI / INESC - Universidade do Minho, Braga, Portugal. All Rights Reserved.