Pages that link to "Item:Q3613382"
From MaRDI portal
The following pages link to Underapproximating Predicate Transformers (Q3613382):
Displayed 5 items.
- Inverse-limit and topological aspects of abstract interpretation (Q418811) (← links)
- Competent predicate abstraction in model checking (Q543199) (← links)
- Abstract Interpretation from a Topological Perspective (Q3392931) (← links)
- Extracting Program Logics From Abstract Interpretations Defined by Logical Relations (Q5262946) (← links)
- Internal and External Logics of Abstract Interpretations (Q5452722) (← links)