Pages that link to "Item:Q958307"
From MaRDI portal
The following pages link to 3-valued abstraction: More precision at less cost (Q958307):
Displaying 6 items.
- Inverse-limit and topological aspects of abstract interpretation (Q418811) (← links)
- Refinement Sensitive Formal Semantics of State Machines With Persistent Choice (Q2810972) (← links)
- Abstraction and Abstraction Refinement (Q3176371) (← links)
- Compositional Abstraction for Stochastic Systems (Q3648832) (← links)
- Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms (Q5175774) (← links)
- Abstraction in Fixpoint Logic (Q5277894) (← links)
