RODIN
Mirror server info
Download of README_2.2.txt (1,258 bytes/MD5: 0ac0dcd8f4ba17b654489356630c075b) should begin shortly. If not so, try to click README_2.2.txt. Project DescriptionOpen tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.Search KeywordsNo Data |