Pages that link to "Item:Q3613374"
From MaRDI portal
The following pages link to Static Analysis in Disjunctive Numerical Domains (Q3613374):
Displaying 12 items.
- Reachability analysis for timed automata using max-plus algebra (Q444476) (← links)
- An integer static analysis for better extrapolation in Uppaal (Q832038) (← links)
- Efficient SAT-based bounded model checking for software verification (Q947794) (← links)
- Backward symbolic execution with loop folding (Q2145317) (← links)
- Quadtrees as an abstract domain (Q2814109) (← links)
- Sound Bit-Precise Numerical Domains (Q2961585) (← links)
- Linear Absolute Value Relation Analysis (Q3000578) (← links)
- Proving the Correctness of the Implementation of a Control-Command Algorithm (Q3392923) (← links)
- Inferring Min and Max Invariants Using Max-Plus Polyhedra (Q3522071) (← links)
- Sweeping in Abstract Interpretation (Q5170178) (← links)
- Type-based amortized resource analysis with integers and arrays (Q5371954) (← links)
- An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints (Q5452614) (← links)