295 search results - page 17 / 59 » SAT, SMT and Applications |
IPPS
1998
IEEE
15 years 4 months ago
1998
IEEE
With aggressive superscalar processors delivering diminishing returns, alternate designs that make good use of the increasing chip densities are actively being explored. One such ...
187
click to vote
NFM
2011
14 years 6 months ago
2011
Abstract. We present a general scheme for automated instantiation-based invariant discovery. Given a transition system, the scheme produces k-inductive invariants from templates re...
171
click to vote
FROCOS
2011
Springer
13 years 11 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
COCO
2000
Springer
15 years 4 months ago
2000
Springer
BMCBI
2007
14 years 11 months ago
2007