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

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

1 2 3 4 next

  1. de Putter, Sander; Wijs, Anton: A formal verification technique for behavioural model-to-model transformations (2018)
  2. Olarte, Carlos; Pimentel, Elaine; Rueda, Camilo: A concurrent constraint programming interpretation of access permissions (2018)
  3. Bjørner, Dines: Manifest domains: analysis and description (2017)
  4. da Costa Cavalheiro, Simone André; Foss, Luciana; Ribeiro, Leila: Theorem proving graph grammars with attributes and negative application conditions (2017)
  5. Demasi, Ramiro; Castro, Pablo F.; Maibaum, Thomas S. E.; Aguirre, Nazareno: Simulation relations for fault-tolerance (2017)
  6. Francalanza, Adrian; Aceto, Luca; Ingolfsdottir, Anna: Monitorability for the Hennessy-Milner logic with recursion (2017)
  7. Graiet, Mohamed; Hamel, Lazhar; Mammar, Amel; Tata, Samir: A verification and deployment approach for elastic component-based applications (2017)
  8. Jifeng, He: A new roadmap for linking theories of programming (2017)
  9. Kaliszyk, Cezary; Pąk, Karol: Presentation and manipulation of Mizar properties in an Isabelle object logic (2017)
  10. Li, Qin; Smith, Graeme: Refining autonomous agents with declarative beliefs and desires (2017)
  11. Sanwal, Usman; Siddique, Umair: Combining refinement and signal-temporal logic for biological systems (2017)
  12. Smith, Graeme; Winter, Kirsten: Relating trace refinement and linearizability (2017)
  13. Ameloot, Tom J.; Van den Bussche, Jan; Marczak, William R.; Alvaro, Peter; Hellerstein, Joseph M.: Putting logic-based distributed systems on stable grounds (2016)
  14. Bertei, Alex; Foss, Luciana; da Costa Cavalheiro, Simone A.: Translating controlled graph grammars to ordinary graph grammars (2016)
  15. Cavalcanti, Ana; Woodcock, Jim; Amálio, Nuno: Behavioural models for FMI co-simulations (2016)
  16. 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)
  17. Dobrikov, Ivaylo; Leuschel, Michael: Optimising the ProB model checker for B using partial order reduction (2016)
  18. Hoang, Thai Son; Schneider, Steve; Treharne, Helen; Williams, David M.: Foundations for using linear temporal logic in Event-B refinement (2016)
  19. Vekris, Dimitris; Lang, Frédéric; Dima, Catalin; Mateescu, Radu: Verification of $\mathrmEB^3$ specifications using CADP (2016)
  20. Dalvandi, Mohammadsadegh; Butler, Michael; Rezazadeh, Abdolbaghi: From Event-B models to Dafny code contracts (2015)

1 2 3 4 next