Searching for "Interpolation and SAT-Based Model Checking." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Interpolation and SAT-based model checking
- …Interpolation and SAT-based Model Checking K. L. McMillan Cadence Berkeley Labs Abstract. We…
- Cited by 103 (6 self) – Add To MetaCart
-
Interpolant Learning and Reuse in SAT-Based Model Checking
- …Abstract Interpolant Learning and Reuse in SAT-Based Model Checking Joao Marques-Silva 1 School…
- Cited by 1 (0 self) – Add To MetaCart
-
Improvements to the implementation of interpolantbased model checking
- … the utilization of interpolants in SAT-based model checking [4]. Two techniques are proposed and evaluated. First…
- Cited by 1 (1 self) – Add To MetaCart
-
Contents
- … . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 4.1.2 Interpolation and SAT based model checking . . . . . . . . . . . . . . . . . . . . . . . 24…
- Add To MetaCart
Showing 1 through 4.
