Lookup NU author(s): Professor Cliff Jones
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
One can use formal approaches either post facto to try to show that a program has desirable properties or one can aim for verified by construction (VxC). The former approach tends to focus on specific properties such as avoiding the dereferencing of null pointers; the latter is more likely to address the question of whether the steps of design satisfy some overall specification. I not only prefer the latter but I have also argued that this is the main way to get formal methods to pay off: there is more mileage in getting a clean architecture than in trying to debug a bad design by retrofitting a proof.
Author(s): Jones CB
Editor(s): Meyer, B. and Woodcock, J.
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: Verified Software: Theories, Tools, Experiments - First IFIP TC 2/WG 2.3 Conference (VSTTE 2005)
Year of Conference: 2008
Notes: Volume contains revised selected papers and discussions from the conference.
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science