University of Birmingham > Talks@bham > Computer Science Departmental Series > Verified System Design with Rodin

Verified System Design with Rodin

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Mohammad Tayarani.

Host: Mohammad Tayarani,

Rodin is an open source toolset for the Event-B refinement-based formal method. Event-B is intended for system design rather than software verification. This talk will provide an overview of Event-B as well as the key Rodin features for automated proof, model checking and model simulation and visualisation. It will also outline some recent industrial uses of Rodin.

This talk is part of the Computer Science Departmental Series series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


Talks@bham, University of Birmingham. Contact Us | Help and Documentation | Privacy and Publicity.
talks@bham is based on from the University of Cambridge.