Process Analysis Toolkit (Q7118286)
Jump to navigation
Jump to search
finite-state model checker for concurrent and real-time systems
- PAT
Language | Label | Description | Also known as |
---|---|---|---|
English | Process Analysis Toolkit |
finite-state model checker for concurrent and real-time systems |
|
Statements
Identifiers
Sitelinks
Wikipedia(1 entry)
- enwiki PAT (model checker)