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 7 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)
- Fold/Unfold Transformations for Fixpoint Logic (Q5164174) (← links)
- Abstraction refinement and antichains for trace inclusion of infinite state systems (Q5919079) (← links)
- Automatically verifying temporal properties of pointer programs with cyclic proof (Q5919481) (← links)
