Rodin

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 42 articles )

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

1 2 3 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. Vekris, Dimitris; Lang, Frédéric; Dima, Catalin; Mateescu, Radu: Verification of $\mathrmEB^3$ specifications using CADP (2016)
  4. Dalvandi, Mohammadsadegh; Butler, Michael; Rezazadeh, Abdolbaghi: From Event-B models to Dafny code contracts (2015)
  5. Janin, David: On labeled birooted tree languages: algebras, automata and logic (2015)
  6. Machado, Rodrigo; Ribeiro, Leila; Heckel, Reiko: Rule-based transformation of graph rewriting rules: towards higher-order graph grammars (2015)
  7. Mammar, Amel; Frappier, Marc: Proof-based verification approaches for dynamic properties: application to the information system domain (2015)
  8. Mohand-Oussaid, Linda; Ait-Sadoune, Idir; Ait-Ameur, Yamine; Ahmed-Nacer, Mohamed: A formal model for output multimodal HCI (2015)
  9. Salehi Fathabadi, Asieh; Butler, Michael; Rezazadeh, Abdolbaghi: Language and tool support for event refinement structures in event-B (2015)
  10. Vu, Dieu-Huong; Chiba, Yuki; Yatake, Kenro; Aoki, Toshiaki: Checking the conformance of a Promela design to its formal specification in Event-B (2015)
  11. Banach, Richard; Zhu, Huibiao; Su, Wen; Huang, Runlei: Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application (2014)
  12. Boström, Pontus; Degerlund, Fredrik; Sere, Kaisa; Waldén, Marina: Derivation of concurrent programs by stepwise scheduling of Event-B models (2014)
  13. Hoang, T.S.; McIver, A.K.; Meinicke, L.; Morgan, C.C.; Sloane, A.; Susatyo, E.: Abstractions of non-interference security: probabilistic versus possibilistic (2014)
  14. Liu, Jie; Liu, Jing: A formal framework for Hybrid Event B (2014)
  15. Llano, Maria Teresa; Ireland, Andrew; Pease, Alison: Discovery of invariants through automated theory formation (2014)
  16. Miyazawa, Alvaro; Cavalcanti, Ana: Refinement-based verification of implementations of Stateflow charts (2014)
  17. Petre, Luigia; Troubitsyna, Elena; Waldén, Marina: Kaisa Sere: in memoriam (2014)
  18. Schneider, Steve; Treharne, Helen; Wehrheim, Heike: The behavioural semantics of Event-B refinement (2014)
  19. Ward, Martin; Zedan, Hussein: Provably correct derivation of algorithms using FermaT (2014)
  20. Déharbe, David: Integration of SMT-solvers in B and Event-B development environments (2013)

1 2 3 next