Lookup NU author(s): Professor Alexander Romanovsky
This is the final published version of a report that has been published in its final definitive form by School of Computing, Newcastle University, 2018.
For re-use rights please refer to the publisher's terms and conditions.
The Event-B Day 2018 in Tokyo was organised on November 10, 2018 in National Institute of Informatics, Tokyo, Japan. The event was supported by NII, Japan and Newcastle University, UK.Event-B is a formal method for the system level modelling and analysis of dependable applications. It is supported by an open and extendable Eclipse based toolset called Rodin (http://www.event-b.org/), which has been developed in a series of European projects (Rodin, Deploy, Advance).This one day event aimed to bring the community of Event- B/Rodin users and developers together to discuss new and emerging issues in applying and advancing both the Event-B method and the Rodin platform as well as to address challenges that industrial takers are facing while deploying them.
Author(s): Ishikawa F, Kobayashi T, Romanovsky A
Publication type: Report
Publication status: Published
Series Title: School of Computing Technical Report Series
Print publication date: 01/12/2018
Acceptance date: 02/04/2018
Report Number: 1525
Institution: School of Computing, Newcastle University
Place Published: Newcastle upon Tyne