Researches and designs tools for high-productivity development of provably correct software, using automated reasoning to do the proofs.

Home page: http://www.eschertech.com/company/dc_homepage.php

Recent publications: http://www.eschertech.com/papers/index.php
----
CategoryHomePage