Toggle Main Menu Toggle Search

Open Access padlockePrints

Proceedings of the Event-B Day 2018 in Tokyo

Lookup NU author(s): Emeritus Professor Alexander RomanovskyORCiD

Downloads


Licence

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.


Abstract

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.


Publication metadata

Author(s): Ishikawa F, Kobayashi T, Romanovsky A

Publication type: Report

Publication status: Published

Series Title: School of Computing Technical Report Series

Year: 2018

Pages: 22

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

URL: https://www.ncl.ac.uk/media/wwwnclacuk/schoolofcomputingscience/files/trs/1525.pdf


Share