You are here:
(27 Nov 2007,
*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>.
ore topic actions
Topic revision: r7 - 27 Nov 2007,
FP Jobs Offered
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding UUCS?