JUCS - Journal of Universal Computer Science 13(5): 669-678, doi: 10.3217/jucs-013-05-0669
Realising the Benefits of Formal Methods
expand article infoAnthony Hall‡
‡ Independent Consultant, United Kingdom

Corresponding author: Anthony Hall ( anthony@anthonyhall.org )

© Anthony Hall.
This article is freely available under the J.UCS Open Content License.
Citation: Hall A (2007) Realising the Benefits of Formal Methods. JUCS - Journal of Universal Computer Science 13(5): 669-678. https://doi.org/10.3217/jucs-013-05-0669
Open Access
Abstract
This paper surveys the whys, and the wherefores of using formal methods in an industrial context. Evidence is presented that the benefits of using formal techniques, though not an automatic consequence of their adoption, can be considerable.
Keywords
formal methods, correctness by construction