A System for Software Development using Formal Methods
The CAMILA free distribution package
Wed Oct 22 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.
In this page you can find updated documentation about CAMILA and the free distribution package of its kernel tool: a rapid-prototyper of algebraic model-oriented specifications. 
In order to understand the CAMILA package you may want to visit other sites such as:

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

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