Title of article
Realising the Benefits of Formal Methods
Author/Authors
Hall, Anthony Independent Consultant, UK
From page
669
To page
678
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
Record number
2574601
Link To Document