Title of article :
Realising the Benefits of Formal Methods
Author/Authors :
Hall, Anthony Independent Consultant, UK
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
Journal title :
International Journal of Universal Computer Sciences
Journal title :
International Journal of Universal Computer Sciences
