ePrints

Proof Patterns for Formal Methods

Lookup NU author(s): Dr Leo Freitas, Dr Iain Whiteside

Downloads

• Published version [.pdf]

Licence

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.

Abstract

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.

Publication metadata

Author(s): Freitas F, Whiteside I

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2014

Pages: 29

Print publication date: 01/11/2014

Report Number: 1399

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1399.pdf

Share