Browse by author
Lookup NU author(s): Professor John Fitzgerald, Dr Peter Larsen
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
The “lightweight formal methods” paradigm emphasises the use of abstract modelling as an aid to understanding and design of computer-based systems. It advocates careful targeting of formal methods technology on specific system parts or aspects, rather than large-scale application. The challenge of implementing the lightweight paradigm was taken up a decade ago by the community working with the Vienna Development Method (VDM), developing its semantics, tools and encouraging industry application. This paper reports industrial successes over that period, and identifies challenges for industrial formal methods application in the near future.
Author(s): Fitzgerald JS, Larsen PG
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)
Year of Conference: 2006
Pages: 1-4
Publisher: IEEE
URL: http://dx.doi.org/10.1109/ISoLA.2006.33
DOI: 10.1109/ISoLA.2006.33
Notes: Available as Technical Report CS-TR 999, School of Computing Science, Newcastle University, Newcastle upon Tyne, January 2007.
Library holdings: Search Newcastle University Library for this item
Sponsor(s): IFIP, ARTIST-2, EASST, ATHK-CYTA
ISBN: 9780769530710