Toggle Main Menu Toggle Search

Open Access padlockePrints

Event-B Day. National Institute of InformaticsTokyo, Japan. November 21, 2016

Lookup NU author(s): Professor Alexander Romanovsky

Downloads


Abstract

Event-B is a formal method for the system level modelling andanalysis of dependable applications. It is supported by an open andextendable Eclipse-based toolset called Rodin, which has beendeveloped in a series of European projects. This one day eventaims to bring the community of Event-B/Rodin users anddevelopers together to discuss new and emerging issues inapplying and advancing both the Event-B method and the Rodinplatform as well as address challenges that industrial takers arefacing while deploying them.


Publication metadata

Author(s): Ishikawa F, Romanovsky A

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2016

Pages: 33

Print publication date: 10/11/2016

Acceptance date: 10/11/2016

Report Number: 1504

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/1504


Share