Past is for free: On the complexity of verifying linear temporal properties with past (Q1889855)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Past is for free: On the complexity of verifying linear temporal properties with past |
scientific article |
Statements
Past is for free: On the complexity of verifying linear temporal properties with past (English)
0 references
13 December 2004
0 references
model checking
0 references
linear-time temporal logic with past
0 references
