BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
interpol (11)
model (4)
check (4)
linear (3)
techniqu (2)

Stem craig$ (all stems)

12 papers:

DATEDATE-2013-CabodiLV #bound #model checking #optimisation
Optimization techniques for craig interpolant compaction in unbounded model checking (GC, CL, DV), pp. 1417–1422.
Craig Interpretation (AA, AG, MC), pp. 300–316.
DACDAC-2011-LinH #satisfiability #using
Using SAT-based Craig interpolation to enlarge clock gating functions (THL, CY(H), pp. 621–626.
TACASTACAS-2011-TeigeF #probability #problem #satisfiability
Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems (TT, MF), pp. 158–172.
ICSTSAT-2010-MillerKLB #bound #design #encoding #model checking
Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs (CM, SK, MDTL, BB), pp. 194–208.
CSLCSL-2009-GheerbrantC #linear
Craig Interpolation for Linear Temporal Languages (AG, BtC), pp. 287–301.
CAVCAV-2008-JainCG #composition #equation #linear #performance
Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations (HJ, EMC, OG), pp. 254–267.
TACASTACAS-2007-JhalaMX #type inference
State of the Union: Type Inference Via Craig Interpolation (RJ, RM, RGX), pp. 553–567.
TACASTACAS-2006-EsparzaKS #abstraction #automaton #refinement
Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems (JE, SK, SS), pp. 489–503.
TACASTACAS-2005-McMillan #model checking
Applications of Craig Interpolants in Model Checking (KLM), pp. 1–12.
CSLCSL-2004-McMillan #model checking
Applications of Craig Interpolation to Model Checking (KLM), pp. 22–23.
SASSAS-2003-McMillan #analysis #reachability
Craig Interpolation and Reachability Analysis (KLM), p. 336.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.