Software
ANR-EBRP project supports the core development of Rodin Platform and Theory Plug-ins.
- 03/04/23 : Release 3.8 of Rodin is now available +Learn more
- 25/04/22 : Release 3.7 of Rodin is now available +Learn more
- 01/04/22 : Theory_Plug-in Theory 4.0.4 is now available
- 14/01/22 : SMT_Solvers_Plug-in SMT Solvers 1.5 is now available
- 29/09/21 : Theory_Plug-in Theory 4.0.3 is now available
- 04/06/21 : Theory_Plug-in Theory 4.0.2 is now available
- 17/05/21 : Release 3.6 of Rodin is now available +Learn more
- 22/12/20 : Theory_Plug-in Theory 4.0.1 is now available
- 11/09/20 : Release 3.5 of Rodin is now available +Learn more
Theories
- Theory for REAL: REAL.ZIP
Rodin Projects
- Sequential Algorithms developed by J. R. Abrial : JRAexamples.zip
- Sequential Algorithms developed by D. Cansell : DCExamples.zip
Tool for Generating Sequential Algorithm