RODIN

• 소프트웨어 : RODIN
• OS : Windows,Mac,Linux
• 프로그래밍 언어 : Java
• 공식 웹사이트 : HOME

다운로드

RODIN 상세

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