|
|
|
|
Realising the Benefits of Formal Methods
|
|
|
|
|
|
|
|
نویسنده
|
Hall Anthony
|
|
منبع
|
journal of universal computer science - 2007 - دوره : 13 - شماره : 5 - صفحه:669 -678
|
|
چکیده
|
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
|
|
آدرس
|
Independent Consultant, UK
|
|
پست الکترونیکی
|
anthony@anthonyhall.org
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Authors
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|