Verified System Design with Rodin

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

• Professor Michael Butler, University of Southampton
• Thursday 13 November 2014, 16:00-17:00
• Hills Building, Room 120.

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

Host: Mohammad Tayarani, m.tayarani@cs.bham.ac.uk

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.

This talk is included in these lists:

• Computer Science Departmental Series
• Computer Science Distinguished Seminars
• Hills Building, Room 120
• computer sience

Note that ex-directory lists are not shown.