Pages that link to "Item:Q1772313"
From MaRDI portal
The following pages link to Abstract interpretation of mobile systems (Q1772313):
Displaying 7 items.
- The octagon abstract domain (Q853733) (← links)
- Practical policy iterations. A practical use of policy iterations for static analysis: the quadratic case (Q888469) (← links)
- Abstract interpretation based verification of temporal properties for BioAmbients (Q989287) (← links)
- A static analysis for brane calculi providing global occurrence counting information (Q2405890) (← links)
- TreeKs: A Functor to Make Numerical Abstract Domains Scalable (Q5170170) (← links)
- A Global Occurrence Counting Analysis for Brane Calculi (Q5743592) (← links)
- Clustered relational thread-modular abstract interpretation with local traces (Q6535225) (← links)
