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

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

1 2 3 4 5 next

  1. Preoteasa, Viorel; Dragomir, Iulia; Tripakis, Stavros: The refinement calculus of reactive systems (2022)
  2. Aït-Ameur, Yamine; Laleau, Régine; Méry, Dominique; Singh, Neeraj Kumar: Towards leveraging domain knowledge in state-based formal methods (2021)
  3. Banach, Richard; Zhu, Huibiao: Moded and continuous abstract state machines (2021)
  4. Bodenmüller, Stefan; Schellhorn, Gerhard; Bitterlich, Martin; Reif, Wolfgang: Flashix: modular verification of a concurrent and crash-safe flash file system (2021)
  5. Devyanin, P. N.; Leonova, M. A.: The techniques of formalization of OS Astra Linux special edition access control model using event-B formal method for verification using Rodin and prob (2021)
  6. Hennicker, Rolf; Knapp, Alexander; Madeira, Alexandre: Hybrid dynamic logic institutions for event/data-based systems (2021)
  7. Leuschel, Michael: Spot the difference: a detailed comparison between B and Event-B (2021)
  8. Stankaitis, Paulius; Iliasov, Alexei; Kobayashi, Tsutomu; Aït-Ameur, Yamine; Ishikawa, Fuyuki; Romanovsky, Alexander: A refinement-based development of a distributed signalling system (2021)
  9. Vistbakka, Inna; Troubitsyna, Elena: Modelling resilient collaborative multi-agent systems (2021)
  10. Börger, Egon; Schewe, Klaus-Dieter: A behavioural theory of recursive algorithms (2020)
  11. Cirstea, Horatiu; Grall, Alexis; Méry, Dominique: Generating distributed programs from event-B models (2020)
  12. Lahouij, Aida; Hamel, Lazhar; Graiet, Mohamed; el Ayeb, Béchir: An Event-B based approach for cloud composite services verification (2020)
  13. Kaliszyk, Cezary; Pąk, Karol: Semantics of Mizar as an Isabelle object logic (2019)
  14. Kobayashi, Tsutomu; Ishikawa, Fuyuki; Honiden, Shinichi: Consistency-preserving refactoring of refinement structures in Event-B models (2019)
  15. Lin, Yuhui; Bundy, Alan; Grov, Gudmund; Maclean, Ewen: Automating Event-B invariant proofs by rippling and proof patching (2019)
  16. Méry, Dominique: Verification by construction of distributed algorithms (2019)
  17. van der Hallen, Matthias; Paramonov, Sergey; Janssens, Gerda; Denecker, Marc: Knowledge representation analysis of graph mining (2019)
  18. de Putter, Sander; Wijs, Anton: A formal verification technique for behavioural model-to-model transformations (2018)
  19. Fares, Elie; Bodeveix, Jean-Paul; Filali, Mamoun: Event algebra for transition systems composition application to timed automata (2018)
  20. Ferrarotti, Flavio; Van den Bussche, Jan; Virtema, Jonni: Expressivity within second-order transitive-closure logic (2018)

1 2 3 4 5 next