Proving correctness of labeled transition systems by semantic tableaux (Q4610332)
From MaRDI portal
scientific article; zbMATH DE number 7002282
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proving correctness of labeled transition systems by semantic tableaux |
scientific article; zbMATH DE number 7002282 |
Statements
Proving correctness of labeled transition systems by semantic tableaux (English)
0 references
15 January 2019
0 references
temporal logic
0 references
coupling mode
0 references
function symbol
0 references
predicate symbol
0 references
labeled transition system
0 references
0 references
