Pages that link to "Item:Q2636509"
From MaRDI portal
The following pages link to Equivalence between model-checking flat counter systems and Presburger arithmetic (Q2636509):
Displaying 6 items.
- CTL* model checking for data-aware dynamic systems with arithmetic (Q2104496) (← links)
- Taming past LTL and flat counter systems (Q2346416) (← links)
- Model-checking CTL* over flat Presburger counter systems (Q2901199) (← links)
- Equivalence Between Model-Checking Flat Counter Systems and Presburger Arithmetic (Q3447697) (← links)
- (Q4427903) (← links)
- On the Complexity of Verifying Regular Properties on Flat Counter Systems, (Q5327431) (← links)