Télécharger des org.eventb.smt.verit.macosx_1.1.0.c5fa8c25.jar (org.eventb.smt.verit.macosx_1.1.0.c5fa8c25.jar ( lien externe: SourceForge.net): 498,124 octets) va bientôt commencer. Sinon, cliquez sur org.eventb.smt.verit.macosx_1.1.0.c5fa8c25.jar ( lien externe: SourceForge.net).
Open 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.