RODIN

비용 효율적인 복잡한 소프트웨어 시스템 서비스의 비용 효과적인 엄격한 개발을위한 공개 도구 플랫폼.이 플랫폼은 이벤트 B 정식 방법을 기반으로하며 세련미 및 수학적 증거에 대한 자연스러운 지원을 제공합니다.