Proof Checking Technology for Satisfiability Modulo Theories☆
Under a Creative Commons license
open access
Keywords
Edinburgh LF
incremental checking
Satisfiability Modulo Theories
LF with Side Conditions
Cited by (0)
- ☆
This work supported by the U.S. National Science Foundation under grant number CNS-0551697.
Copyright © 2008 Elsevier B.V.