Craig interpolation

E2199510 UNEXPLORED

Craig interpolation is a logical technique that derives intermediate formulas separating inconsistent statements, widely used to generate abstractions and invariants in SAT-based model checking and formal verification.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
Craig interpolation canonical	2

Referenced by (2)

Full triples — surface form annotated when it differs from this entity's canonical label.

Interpolation and SAT-based model checking → usesMethod → Craig interpolation ⓘ

Ken McMillan → notableConcept → Craig interpolation ⓘ