Toggle Main Menu Toggle Search

Open Access padlockePrints

Some Interdisciplinary Observations about Getting the "Right" Specification

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.

Publication metadata

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

Pages: 64-69

Publisher: Springer


DOI: 10.1007/978-3-540-69149-5_8

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

ISBN: 9783540691471