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
Pages: 279-295
Print publication date: 01/05/2014
Acceptance date: 01/01/1900
ISSN: 0302-9743
Publisher: Springer
URL: http://dx.doi.org/10.1007/978-3-319-06410-9_20
DOI: 10.1007/978-3-319-06410-9_20
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science
ISBN: 9783319064093
