rodin
Rodin is an open tool platform for the cost effective rigorous development.
Rodin is an open tool platform for the cost effective rigorous development of dependable complex software systems and services.
This platform contributes to the Eclipse framework and is extensible using the Eclipse plug-in mechanism.