ePrints

Refinement-after-hiding: a small case study

Lookup NU author(s): Dr Jonathan Burton

Downloads

• Published version [.pdf]

Abstract

In \cite{thesis}, we presented a variant of standard CSP refinement called \emph{refinement-after-hiding},along with a means for its automatic verification using the tool FDR2. This report is a companion to \cite{thesis} and describes an application of refinement-after-hiding and its associated method of verification to a small case study based on a banking system.

Publication metadata

Author(s): Burton J

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2005

Pages: 32

Print publication date: 01/01/2005

Source Publication Date: January 2005

Report Number: 885

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/885.pdf

Share