XMECH

Center

*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. 

<a href="http://www.cs.uu.nl/people/wishnu/research/projects/xMECH"> <img alt="xmech home" src=/people/wishnu/arts/xmechlogo_button.jpg border=0 align=left></a> 

For more information, see <a href="http://www.cs.uu.nl/people/wishnu/research/projects/xMECH">xMech home</a>.