Pages that link to "Item:Q5709984"
From MaRDI portal
The following pages link to Theoretical Aspects of Computing - ICTAC 2004 (Q5709984):
Displaying 16 items.
- Recent advances in program verification through computer algebra (Q351971) (← links)
- On invariant checking (Q394493) (← links)
- Reflexive transitive invariant relations: A basis for computing loop functions (Q604384) (← links)
- Deaccumulation techniques for improving provability (Q882487) (← links)
- A quantifier-elimination based heuristic for automatically generating inductive assertions for programs (Q882517) (← links)
- Mathematics for reasoning about loop functions (Q1044182) (← links)
- Generating algebraic laws from imperative programs (Q1285784) (← links)
- Discovery of invariant equalities in programs over data fields (Q1311622) (← links)
- On the decidability of the existence of polyhedral invariants in transition systems (Q2415375) (← links)
- Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods (Q2418665) (← links)
- Generating all polynomial invariants in simple loops (Q2457430) (← links)
- Automatic proving or disproving equality loop invariants based on finite difference techniques (Q2512818) (← links)
- (Q3571947) (← links)
- Verification by Parallelization of Parametric Code (Q5426003) (← links)
- Computer Aided Verification (Q5900702) (← links)
- First order Büchi automata and their application to verification of LTL specifications (Q6643476) (← links)