Pages that link to "Item:Q958307"
From MaRDI portal
The following pages link to 3-valued abstraction: More precision at less cost (Q958307):
Displaying 7 items.
- Inverse-limit and topological aspects of abstract interpretation (Q418811) (← links)
- Fast three-valued abstract bit-vector arithmetic (Q2152654) (← 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)