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

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

1 2 3 next

  1. Bjørner, Dines: Manifest domains: analysis and description (2017)
  2. Li, Qin; Smith, Graeme: Refining autonomous agents with declarative beliefs and desires (2017)
  3. Dobrikov, Ivaylo; Leuschel, Michael: Optimising the ProB model checker for B using partial order reduction (2016)
  4. Hoang, Thai Son; Schneider, Steve; Treharne, Helen; Williams, David M.: Foundations for using linear temporal logic in Event-B refinement (2016)
  5. Vekris, Dimitris; Lang, Frédéric; Dima, Catalin; Mateescu, Radu: Verification of $\mathrmEB^3$ specifications using CADP (2016)
  6. Dalvandi, Mohammadsadegh; Butler, Michael; Rezazadeh, Abdolbaghi: From Event-B models to Dafny code contracts (2015)
  7. Janin, David: On labeled birooted tree languages: algebras, automata and logic (2015)
  8. Machado, Rodrigo; Ribeiro, Leila; Heckel, Reiko: Rule-based transformation of graph rewriting rules: towards higher-order graph grammars (2015)
  9. Mammar, Amel; Frappier, Marc: Proof-based verification approaches for dynamic properties: application to the information system domain (2015)
  10. Mohand-Oussaid, Linda; Ait-Sadoune, Idir; Ait-Ameur, Yamine; Ahmed-Nacer, Mohamed: A formal model for output multimodal HCI (2015) ioport
  11. Salehi Fathabadi, Asieh; Butler, Michael; Rezazadeh, Abdolbaghi: Language and tool support for event refinement structures in event-B (2015) ioport
  12. Vu, Dieu-Huong; Chiba, Yuki; Yatake, Kenro; Aoki, Toshiaki: Checking the conformance of a Promela design to its formal specification in Event-B (2015)
  13. 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)
  14. Boström, Pontus; Degerlund, Fredrik; Sere, Kaisa; Waldén, Marina: Derivation of concurrent programs by stepwise scheduling of Event-B models (2014)
  15. Hoang, T.S.; McIver, A.K.; Meinicke, L.; Morgan, C.C.; Sloane, A.; Susatyo, E.: Abstractions of non-interference security: probabilistic versus possibilistic (2014)
  16. Liu, Jie; Liu, Jing: A formal framework for Hybrid Event B (2014)
  17. Llano, Maria Teresa; Ireland, Andrew; Pease, Alison: Discovery of invariants through automated theory formation (2014) ioport
  18. Miyazawa, Alvaro; Cavalcanti, Ana: Refinement-based verification of implementations of Stateflow charts (2014) ioport
  19. Petre, Luigia; Troubitsyna, Elena; Waldén, Marina: Kaisa Sere: in memoriam (2014)
  20. Schneider, Steve; Treharne, Helen; Wehrheim, Heike: The behavioural semantics of Event-B refinement (2014)

1 2 3 next