Reasoning about Data Repetitions with Counter Systems (Q5271038)
From MaRDI portal
scientific article; zbMATH DE number 6738782
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Reasoning about Data Repetitions with Counter Systems |
scientific article; zbMATH DE number 6738782 |
Statements
Reasoning about Data Repetitions with Counter Systems (English)
0 references
3 July 2017
0 references
data words
0 references
temporal logic
0 references
repeating values, satisfiability
0 references
counter systems
0 references
reachability
0 references
coverability
0 references
