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