The following pages link to Static Analysis (Q5466568):
Displaying 8 items.
- Polynomial approximations of the relational semantics of imperative programs (Q859958) (← links)
- Change-of-bases abstractions for non-linear hybrid systems (Q901261) (← links)
- Generalizations of algorithms that find invariant relationships in programs over algebra of terms (Q1364103) (← links)
- Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures (Q2347907) (← links)
- Generating all polynomial invariants in simple loops (Q2457430) (← links)
- Constructing invariants for hybrid systems (Q2475635) (← links)
- (Q4346205) (← links)
- Elimination Techniques for Program Analysis (Q4916078) (← links)