The following pages link to Guided Static Analysis (Q3612009):
Displaying 8 items.
- Acceleration of the abstract fixpoint computation in numerical program analysis (Q435974) (← links)
- Verifying pointer safety for programs with unknown calls (Q604389) (← links)
- Improving the results of program analysis by abstract interpretation beyond the decreasing sequence (Q1620957) (← links)
- Backward symbolic execution with loop folding (Q2145317) (← links)
- A modular static analysis approach to affine loop invariants detection (Q2814096) (← links)
- Abstract fixpoint computations with numerical acceleration methods (Q2814099) (← links)
- Guided Type Debugging (Q5170701) (← links)
- Dissecting widening: separating termination from information (Q6536310) (← links)
