The following pages link to Static Analysis (Q5466567):
Displaying 4 items.
- Recent advances in program verification through computer algebra (Q351971) (← links)
- Program verification: state of the art, problems, and results. I (Q466416) (← 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)
