FACS 2007 Christmas Workshop: Formal Methods in Industry (FMI)
Formal Methods in Industry
17 December 2007
We describe the results of the use of formal methods integrated into a conventional, industrial software development environment in a situation where a meaningful comparison can be made against a parallel running project based on the same requirements. Despite the generally chaotic, ad hoc processes and methods that are employed in such environments, the addition into the mix of some formality greatly improves the overall quality of the software being constructed.