The Rodin Platform is an Eclipse-based IDE for Event-B that provides effective support for refinement and mathematical proof. The platform is open source, contributes to the Eclipse framework and is further extendable with plugins.

References in zbMATH (referenced in 30 articles )

Showing results 1 to 20 of 30.
Sorted by year (citations)

1 2 next

  1. Dobrikov, Ivaylo; Leuschel, Michael: Optimising the ProB model checker for B using partial order reduction (2016)
  2. Hoang, Thai Son; Schneider, Steve; Treharne, Helen; Williams, David M.: Foundations for using linear temporal logic in Event-B refinement (2016)
  3. Dalvandi, Mohammadsadegh; Butler, Michael; Rezazadeh, Abdolbaghi: From Event-B models to Dafny code contracts (2015)
  4. Machado, Rodrigo; Ribeiro, Leila; Heckel, Reiko: Rule-based transformation of graph rewriting rules: towards higher-order graph grammars (2015)
  5. Mohand-Oussaid, Linda; Ait-Sadoune, Idir; Ait-Ameur, Yamine; Ahmed-Nacer, Mohamed: A formal model for output multimodal HCI (2015)
  6. Salehi Fathabadi, Asieh; Butler, Michael; Rezazadeh, Abdolbaghi: Language and tool support for event refinement structures in event-B (2015)
  7. Vu, Dieu-Huong; Chiba, Yuki; Yatake, Kenro; Aoki, Toshiaki: Checking the conformance of a Promela design to its formal specification in Event-B (2015)
  8. Hoang, T.S.; McIver, A.K.; Meinicke, L.; Morgan, C.C.; Sloane, A.; Susatyo, E.: Abstractions of non-interference security: probabilistic versus possibilistic (2014)
  9. Llano, Maria Teresa; Ireland, Andrew; Pease, Alison: Discovery of invariants through automated theory formation (2014)
  10. Petre, Luigia; Troubitsyna, Elena; Waldén, Marina: Kaisa Sere: in memoriam (2014)
  11. Schneider, Steve; Treharne, Helen; Wehrheim, Heike: The behavioural semantics of Event-B refinement (2014)
  12. Ward, Martin; Zedan, Hussein: Provably correct derivation of algorithms using FermaT (2014)
  13. Déharbe, David: Integration of SMT-solvers in B and Event-B development environments (2013)
  14. Hoang, Thai Son: Security invariants in discrete transition systems (2013)
  15. Butler, Michael: External and internal choice with event groups in Event-B (2012)
  16. Hallerstede, Stefan; Leuschel, Michael: Experiments in program verification using Event-B (2012)
  17. Leino, K.Rustan M.; Yessenov, Kuat: Stepwise refinement of heap-manipulating code in Chalice (2012)
  18. Ndukwu, Ukachukwu: Generating counterexamples for quantitative safety specifications in probabilistic B (2012)
  19. Hallerstede, Stefan: On the purpose of Event-B proof obligations (2011)
  20. Leuschel, Michael; Falampin, Jér^ome; Fritz, Fabian; Plagge, Daniel: Automated property verification for large scale B models with ProB (2011)

1 2 next