Title :
IEE Colloquium on Industrial Use of Formal Methods (Digest No.1997/171)
Abstract :
The following topics were dealt with: industrial use of formal methods; formal specification in the aerospace and nuclear sectors; industrial use of VDM++; catalysis, practical rigor and refinement; practical experience of the use of formal methods and introducing formal methods to existing processes
Keywords :
formal specification; VDM++; catalysis; existing processes; formal methods; formal specification; industrial use; nuclear sector;
Conference_Titel :
Industrial Use of Formal Methods (Digest No: 1977/171), IEE Colloquium on
Conference_Location :
London
