SAT-based model checking

E2200197 UNEXPLORED

SAT-based model checking is a formal verification technique that reduces the problem of checking whether a system satisfies a specification to a series of satisfiability (SAT) problems solved by efficient SAT solvers.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
SAT-based model checking canonical	1

Referenced by (1)

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

Ken McMillan → notableConcept → SAT-based model checking ⓘ