Description
Dependable software systems can be modeled and developed with rigorous Event-B methods. It is for engineers and researchers using formal specification and verification workflows.
FICHA · AUR
rodin
Tool for cost effective rigorous development of dependable software systems
- Event-B development tool
- GUI
- FORMAL-METHODS
- Dev
- Launchable
official+codex · reviewed · Jun 4, 2026 description in
en How to run
rodin
Commands: rodin
Permissions
Permissions not analysed for this source yet.