model checking technique
C26935
concept
A model checking technique is a formal verification method that systematically explores all possible states of a system model to automatically determine whether it satisfies specified correctness properties.
Observed surface forms (11)
- formal verification tool ×9
- model checking algorithm ×3
- SAT-based model checking algorithm ×2
- concurrency verification tool ×1
- hardware verification tool ×1
- model checking method ×1
- refinement checker ×1
- safety model checking algorithm ×1
- safety property verification algorithm ×1
- safety property verification technique ×1
- symbolic model checking technique ×1
Instances (14)
- Symbolic Model Checking
- FDR model checker via concept surface "refinement checker"
- SMV via concept surface "formal verification tool"
- NuSMV via concept surface "formal verification tool"
- Cadence SMV via concept surface "formal verification tool"
- PRISM probabilistic model checker via concept surface "formal verification tool"
-
SPIN model checker
via concept surface "formal verification tool"
surface form: SPIN
- SPIN verification tool via concept surface "formal verification tool"
- CVC4 via concept surface "formal verification tool"
- Yices via concept surface "formal verification tool"
- IC3 model checking algorithm via concept surface "model checking algorithm"
- IC3: Incremental Construction of Inductive Clauses for Indubitable Correctness via concept surface "model checking algorithm"
- Compositional model checking via concept surface "model checking method"
- IC3 algorithm via concept surface "model checking algorithm"