The following pages link to (Q4411954):
Displayed 7 items.
- Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness (Q845242) (← links)
- Reachability analysis via orthogonal sets of patterns (Q2130568) (← links)
- Proving the absence of unbounded polymers in rule-based models (Q2229134) (← links)
- A new abstraction framework for affine transformers (Q2322316) (← links)
- Sound Bit-Precise Numerical Domains (Q2961585) (← links)
- Static Contract Checking with Abstract Interpretation (Q3067530) (← links)
- An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints (Q5452614) (← links)