Browse by author
Lookup NU author(s): Dr Leo Freitas,
Dr Iain Whiteside
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Design patterns represent a highly successful technique in software engineering, giving a reusable 'best practice' solution to commonly occurring problems in software design. Taking inspiration from this approach, this paper introduces proof patterns, which aim to provide a common vocabulary for solving formal methods proof obligations by capturing and describing solutions to common patterns of proof.
Author(s): Freitas L, Whiteside I
Editor(s): Cliff Jones, Pekka Pihlajasaari, Jun Sun
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: FM 2014: Formal Methods: 19th International Symposium
Year of Conference: 2014
Print publication date: 01/05/2014
Acceptance date: 01/01/1900
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science