XMECH

x-MECH project seeks to develop scalable ways for engineers to do program verification. The project is not only concerned with theory; an important part of it is the implementation of the theory as real tools, usable for engineers. Of particular interest to the project is the integration between compiler and verification techniques, which the project believes to be one of the key strategies towards scalability.

For more information, see xMech home.