formal method
Model Checking
Checks a model's properties across its state space; conclusions apply to the model and its assumptions.
On the map
- Verification
- Code and model analysis
Connected practices
Comparison and related ideas
Model Checking
From requirements to operations
formal method
Checks a model's properties across its state space; conclusions apply to the model and its assumptions.