1 citations · 1 across the 5 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.SE2016
Automating Verification of Event-B Models
Paulius Stankaitis, Alexei Iliasov, David Adjepon-Yamoah +1
Event-B is one of more popular notations for model-based, proof driven specification. It offers a fairly high-level mathematical lan- guage based on FOL and ZF set theory and an ec…
cs.SE2016★ 1 cited
Lessons from DEPLOYment
Manuel Mazzara, Cliff Jones, Alexei Iliasov
This paper reviews the major lessons learnt during two significant pilot projects by Bosch Research during the DEPLOY project. Principally, the use of a single formalism, even when…