Promela (Q948666)
Jump to navigation
Jump to search
verification modeling language
- Protocol Meta Language
- Process Meta Language
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Promela |
verification modeling language |
|
Statements
pml
0 references
Identifiers
1 reference