5 citations · 8 across the 6 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2016
Code Generation for Event-B
Victor Rivera
Stepwise refinement and Design-by-Contract are two formal approaches for modelling systems. These approaches are widely used in the development of systems. Both approaches have (di…
cs.SE2013★ 5 cited
A Machine-Checked Proof for a Translation of Event-B Machines to JML
Néstor Cataño, Camilo Rueda, Tim Wahls
We present a machine-checked soundness proof of a translation of Event-B to the Java Modeling Language (JML). The translation is based on an operator EventB2Jml that maps Evnet-B e…