Download of p2.index (p2.index ( external link: SF.net): 173 字节) 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.
