Browse by author
Lookup NU author(s): Dr Leo Freitas,
Dr Iain Whiteside
This is the final published version of a report that has been published in its final definitive form by School of Computing Science, University of Newcastle upon Tyne, 2014.
For re-use rights please refer to the publisher's terms and conditions.
Design patterns are a highly successful technique in software engineering, giving a reusable 'best practice' solution to commonly occurring problems in software design. Taking inspiration, 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, hence increasing effectiveness.
Author(s): Freitas F, Whiteside I
Publication type: Report
Publication status: Published
Series Title: School of Computing Science Technical Report Series
Print publication date: 01/11/2014
Report Number: 1399
Institution: School of Computing Science, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne