formal verification technique
C26934
concept
A formal verification technique is a mathematically rigorous method used to prove or disprove the correctness of a system’s design or implementation with respect to a specified formal specification or property.
Observed surface forms (8)
- model checker ×3
- symbolic model checker ×3
- formal method ×2
- SAT-based verification algorithm ×1
- Static analysis technique ×1
- probabilistic model checker ×1
- program verification method ×1
- software correctness technique ×1
Instances (16)
- Symbolic Model Checking
- Design by Contract via concept surface "software correctness technique"
- SAST via concept surface "Static analysis technique"
- FDR model checker via concept surface "model checker"
- Dijkstra weakest precondition calculus via concept surface "program verification method"
- spi-calculus via concept surface "formal method"
- SMV via concept surface "symbolic model checker"
- NuSMV via concept surface "symbolic model checker"
- Cadence SMV via concept surface "symbolic model checker"
- PRISM probabilistic model checker via concept surface "probabilistic model checker"
-
SPIN model checker
via concept surface "model checker"
surface form: SPIN
- SPIN verification tool via concept surface "model checker"
- IC3 model checking algorithm
- IC3: Incremental Construction of Inductive Clauses for Indubitable Correctness via concept surface "SAT-based verification algorithm"
- Compositional model checking
- IC3 algorithm