Toggle Main Menu Toggle Search

Open Access padlockePrints

Proof Patterns for Formal Methods

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

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Abstract

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.


Publication metadata

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


Actions

Find at Newcastle University icon    Link to this publication


Share