ePrints

RODIN: Intermediate report on methodology

Lookup NU author(s): Emeritus Professor Cliff JonesORCiD

Downloads

• Published version [.pdf]

Abstract

One aim of the Rodin project is to contribute formal methods which will underpin the creation of fault-tolerant systems. This intermediate report from WP2 (Methodology) describes progress during the second year of the Rodin project; it also discusses our plans for the final deliverable on methodology.

Publication metadata

Author(s): Jones CB

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2006

Pages: 87

Print publication date: 01/11/2006

Source Publication Date: November 2006

Report Number: 990

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

Share