No edit summary |
No edit summary |
||
| Line 5: | Line 5: | ||
* [[Graphical Visualization]] | * [[Graphical Visualization]] | ||
* [[State Space Visualization]] | * [[State Space Visualization]] | ||
* [[Consistency Checking]] | * [[Consistency Checking|Consistency Checking (Finding Invariant Violations using the Model Checker)]] | ||
* [[Constraint Based Checking]] | * [[Constraint Based Checking]] | ||
* [[Refinement Checking]] | * [[Refinement Checking]] | ||