The following pages link to Static Analysis (Q5897426):
Displayed 7 items.
- Change-of-bases abstractions for non-linear hybrid systems (Q901261) (← links)
- Applications of polyhedral computations to the analysis and verification of hardware and software systems (Q1035700) (← links)
- Counterexample- and simulation-guided floating-point loop invariant synthesis (Q2233532) (← links)
- Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods (Q2418665) (← links)
- View-Augmented Abstractions (Q2814101) (← links)
- A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis (Q3512505) (← links)
- Validating numerical semidefinite programming solvers for polynomial invariants (Q5916266) (← links)