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

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

1 2 3 4 next

  1. Börger, Egon; Schewe, Klaus-Dieter: A behavioural theory of recursive algorithms (2020)
  2. Lahouij, Aida; Hamel, Lazhar; Graiet, Mohamed; el Ayeb, Béchir: An Event-B based approach for cloud composite services verification (2020)
  3. Kaliszyk, Cezary; Pąk, Karol: Semantics of Mizar as an Isabelle object logic (2019)
  4. Kobayashi, Tsutomu; Ishikawa, Fuyuki; Honiden, Shinichi: Consistency-preserving refactoring of refinement structures in Event-B models (2019)
  5. Lin, Yuhui; Bundy, Alan; Grov, Gudmund; Maclean, Ewen: Automating Event-B invariant proofs by rippling and proof patching (2019)
  6. Méry, Dominique: Verification by construction of distributed algorithms (2019)
  7. van der Hallen, Matthias; Paramonov, Sergey; Janssens, Gerda; Denecker, Marc: Knowledge representation analysis of graph mining (2019)
  8. de Putter, Sander; Wijs, Anton: A formal verification technique for behavioural model-to-model transformations (2018)
  9. Fares, Elie; Bodeveix, Jean-Paul; Filali, Mamoun: Event algebra for transition systems composition application to timed automata (2018)
  10. Olarte, Carlos; Pimentel, Elaine; Rueda, Camilo: A concurrent constraint programming interpretation of access permissions (2018)
  11. Peng, Han; Du, Chenglie; Rao, Lei; Liu, Zhouzhou: Modelling the embedded control system using iUML-B pattern state machine (2018)
  12. Bjørner, Dines: Manifest domains: analysis and description (2017)
  13. da Costa Cavalheiro, Simone André; Foss, Luciana; Ribeiro, Leila: Theorem proving graph grammars with attributes and negative application conditions (2017)
  14. Demasi, Ramiro; Castro, Pablo F.; Maibaum, Thomas S. E.; Aguirre, Nazareno: Simulation relations for fault-tolerance (2017)
  15. Francalanza, Adrian; Aceto, Luca; Ingolfsdottir, Anna: Monitorability for the Hennessy-Milner logic with recursion (2017)
  16. Graiet, Mohamed; Hamel, Lazhar; Mammar, Amel; Tata, Samir: A verification and deployment approach for elastic component-based applications (2017)
  17. Jifeng, He: A new roadmap for linking theories of programming (2017)
  18. Kaliszyk, Cezary; Pąk, Karol: Presentation and manipulation of Mizar properties in an Isabelle object logic (2017)
  19. Li, Qin; Smith, Graeme: Refining autonomous agents with declarative beliefs and desires (2017)
  20. Sanwal, Usman; Siddique, Umair: Combining refinement and signal-temporal logic for biological systems (2017)

1 2 3 4 next