The following pages link to Static Analysis (Q5466567):
Displaying 11 items.
- Recent advances in program verification through computer algebra (Q351971) (← links)
- Program verification: state of the art, problems, and results. I (Q466416) (← links)
- Automatic generation of polynomial invariants of bounded degree using abstract interpretation (Q859956) (← links)
- A quantifier-elimination based heuristic for automatically generating inductive assertions for programs (Q882517) (← links)
- Change-of-bases abstractions for non-linear hybrid systems (Q901261) (← links)
- Generating all polynomial invariants in simple loops (Q2457430) (← links)
- Constructing invariants for hybrid systems (Q2475635) (← links)
- Automatic Generation of Invariants for Circular Derivations in SUP(LA) (Q2891451) (← links)
- Analysing All Polynomial Equations in ${\mathbb Z_{2^w}}$ (Q3522079) (← links)
- Elimination Techniques for Program Analysis (Q4916078) (← links)
- O-Minimal Invariants for Discrete-Time Dynamical Systems (Q5002799) (← links)
