5 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.SE2016★ 2 cited
Formal Semantics and Soundness of a Translation from Event-B Actions to SQL Statements
Tim Wahls
The EventB2SQL tool translates Event-B models to persistent Java applications that store the state of the model in a relational database. Most Event-B assignments are translated 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…