The following pages link to (Q4778703):
Displaying 7 items.
- Discovering invariants via simple component analysis (Q435979) (← links)
- The two variable per inequality abstract domain (Q656848) (← links)
- Some ways to reduce the space dimension in polyhedra computations (Q853727) (← links)
- The octagon abstract domain (Q853733) (← links)
- Applications of polyhedral computations to the analysis and verification of hardware and software systems (Q1035700) (← links)
- Static analysis method for detecting buffer overflow vulnerabilities (Q2432979) (← links)
- Sound input filter generation for integer overflow errors (Q5408440) (← links)