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.
All labels observed (9)
| Label | Occurrences |
|---|---|
| formal verification technique canonical | 4 |
| 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)
| Instance | Via concept surface |
|---|---|
| Symbolic Model Checking | — |
| Design by Contract | software correctness technique |
| SAST | Static analysis technique |
| FDR model checker | model checker |
| Dijkstra weakest precondition calculus | program verification method |
| spi-calculus | formal method |
| SMV | symbolic model checker |
| NuSMV | symbolic model checker |
| Cadence SMV | symbolic model checker |
| PRISM probabilistic model checker | probabilistic model checker |
|
SPIN model checker
surface form:
SPIN
|
model checker |
| SPIN verification tool | model checker |
| IC3 model checking algorithm | — |
| IC3: Incremental Construction of Inductive Clauses for Indubitable Correctness | SAT-based verification algorithm |
| Compositional model checking | — |
| IC3 algorithm | — |