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

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

1 2 3 next

  1. Bjørner, Dines: Manifest domains: analysis and description (2017)
  2. da Costa Cavalheiro, Simone André; Foss, Luciana; Ribeiro, Leila: Theorem proving graph grammars with attributes and negative application conditions (2017)
  3. Francalanza, Adrian; Aceto, Luca; Ingolfsdottir, Anna: Monitorability for the Hennessy-Milner logic with recursion (2017)
  4. Jifeng, He: A new roadmap for linking theories of programming (2017)
  5. Kaliszyk, Cezary; Pąk, Karol: Presentation and manipulation of Mizar properties in an Isabelle object logic (2017)
  6. Li, Qin; Smith, Graeme: Refining autonomous agents with declarative beliefs and desires (2017)
  7. Sanwal, Usman; Siddique, Umair: Combining refinement and signal-temporal logic for biological systems (2017)
  8. Cavalcanti, Ana; Woodcock, Jim; Amálio, Nuno: Behavioural models for FMI co-simulations (2016)
  9. Devyanin, Petr N.; Khoroshilov, Alexey V.; Kuliamin, Victor V.; Petrenko, Alexander K.; Shchepetkov, Ilya V.: Using refinement in formal development of OS security model (2016)
  10. Dobrikov, Ivaylo; Leuschel, Michael: Optimising the ProB model checker for B using partial order reduction (2016)
  11. Hoang, Thai Son; Schneider, Steve; Treharne, Helen; Williams, David M.: Foundations for using linear temporal logic in Event-B refinement (2016)
  12. Vekris, Dimitris; Lang, Frédéric; Dima, Catalin; Mateescu, Radu: Verification of $\mathrmEB^3$ specifications using CADP (2016)
  13. Dalvandi, Mohammadsadegh; Butler, Michael; Rezazadeh, Abdolbaghi: From Event-B models to Dafny code contracts (2015)
  14. 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)
  15. Janin, David: On labeled birooted tree languages: algebras, automata and logic (2015)
  16. Machado, Rodrigo; Ribeiro, Leila; Heckel, Reiko: Rule-based transformation of graph rewriting rules: towards higher-order graph grammars (2015)
  17. Mammar, Amel; Frappier, Marc: Proof-based verification approaches for dynamic properties: application to the information system domain (2015)
  18. Mohand-Oussaid, Linda; Ait-Sadoune, Idir; Ait-Ameur, Yamine; Ahmed-Nacer, Mohamed: A formal model for output multimodal HCI (2015) ioport
  19. Salehi Fathabadi, Asieh; Butler, Michael; Rezazadeh, Abdolbaghi: Language and tool support for event refinement structures in event-B (2015) ioport
  20. Sulskus, Gintautas; Poppleton, Michael; Rezazadeh, Abdolbaghi: An interval-based approach to modelling time in Event-B (2015)

1 2 3 next