RODIN es una plataforma práctica diseñada para ayudarle con el desarrollo riguroso rentable de los servicios complejos confiables de los sistemas informáticos. Esta plataforma se basa en el método formal del acontecimiento-b y proporciona la ayuda natural para el refinamiento y la prueba matemática.
Requisitos:
· Java