The Deductive Theory Manager: A Knowledge Based System for Formal Verification.

Ben L. Di Vito, Cristi Garvey, D. Kwong, A. Murray, Jane Solomon, Amy Wu

Browse the full SP paper archive.