RODIN: Intermediate report on methodology (2006)

Author(s): Jones CB

    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.

      • Date: November 2006
      • Series Title: School of Computing Science Technical Report Series
      • Pages: 87
      • Institution: School of Computing Science, University of Newcastle upon Tyne
      • Publication type: Report
      • Bibliographic status: Published

      Keywords: RODIN project; formal methods; fault tolerance

      Staff

      Professor Cliff Jones
      Professor
      • Telephone: +44 191 222 8183