Experiences of Formal Methods in ‘Conventional’ Software and Systems Design
Ian Oliver · Electronic workshops in computing · 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.