Browse by author
Lookup NU author(s): Emeritus 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.
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
