Pages that link to "Item:Q6045023"
From MaRDI portal
The following pages link to Abstract interpretation of CTL properties (Q6045023):
Displaying 4 items.
- On automation of \(\mathsf{CTL}^*\) verification for infinite-state systems (Q1702907) (← links)
- Fold/Unfold Transformations for Fixpoint Logic (Q5164174) (← links)
- Algebraic Methodology and Software Technology (Q5312992) (← links)
- Temporal verification of programs via first-order fixpoint logic (Q6536298) (← links)