Decomposition Tool for Event-B

by Silva, Renato, Pascal, Carine, Hoang, Thai Son, Butler, Michael
Published 2011

Rodin: an open toolset for modelling and reasoning in Event-B

by Abrial, Jean-Raymond, Butler, Michael, Hallerstede, Stefan, Hoang, Thai Son, Mehta, Farhad, Voisin, Laurent
Published 2010