Realising the Benefits of Formal Methods
Дата
Авторы
Hall,Anthony
Journal Title
Journal ISSN
Volume Title
Издатель
Journal of Universal Computer Science
Аннотация
Описание
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.
Ключевые слова
formal methods , correctness by construction