Download of org.eventb.smt.z3_4.5.0.c5fa8c25.jar (org.eventb.smt.z3_4.5.0.c5fa8c25.jar ( external link: SF.net): 2,153 bytes) will begin shortly. If not so, click link on the left.
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.
