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 RomanovskyORCiD



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