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

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

1 2 3 next

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

1 2 3 next