: Example system specification files (often with extensions like .pml or .ssl ) used to demonstrate how the tool identifies potential design flaws. [3]
: Script or .ini files that allow users to customize rule sets and severity levels for the linter. [2] Common Use Case
: Ensuring that "good things" eventually happen. [3]
: Verifying that "bad things" never happen during execution. [3]
: Ensuring the system doesn't get stuck in a state where no further progress is possible. [1, 3]