Formal Methods: The CAMILA Perspective

J.N. Oliveira


CAMILA is a software system system aiming at promoting the use of Formal Methods at industrial level. The project (1990-93) was funded by JNICT (Research Grant 169/90). Further developments have been supported by the Informatics Department of the U.Minho \ and INESC Group 2361.


Main Concerns

The CAMILA/SETS Approach

[ Back to the CAMILA Home Page ]

Jose Nuno Oliveira
Fri Mar 21 12:00:56 WET 1997