Pages that link to "Item:Q1702907"
From MaRDI portal
The following pages link to On automation of \(\mathsf{CTL}^*\) verification for infinite-state systems (Q1702907):
Displaying 4 items.
- The virtues of idleness: a decidable fragment of resource agent logic (Q514142) (← links)
- Inference of ranking functions for proving temporal properties by abstract interpretation (Q681349) (← links)
- Lower-bound synthesis using loop specialization and Max-SMT (Q832313) (← links)
- Temporal prophecy for proving temporal properties of infinite-state systems (Q2058382) (← links)
