Published May 28, 2007 | Version v1
Journal article Open

Realising the Benefits of Formal Methods

Authors/Creators

  • 1. Independent Consultant, United Kingdom

Description

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.

Files

jucs_article_28794.pdf

Files (102.3 kB)

Name Size
md5:f0050c6356e26d9e07100520c2067dd7
102.3 kB Preview Download