Pages that link to "Item:Q351971"
From MaRDI portal
The following pages link to Recent advances in program verification through computer algebra (Q351971):
Displaying 13 items.
- Generating exact nonlinear ranking functions by symbolic-numeric hybrid method (Q394460) (← links)
- Algebraic program analysis (Q832153) (← links)
- Using computer algebra techniques for the specification, verification and synthesis of recursive programs (Q1025311) (← links)
- Algebraic implementations preserve program correctness (Q1079358) (← links)
- Problem-oriented verification system and its application to linear algebra programs (Q1311971) (← links)
- Discovering non-terminating inputs for multi-path polynomial programs (Q2341594) (← links)
- Witness to non-termination of linear programs (Q2357364) (← links)
- Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods (Q2418665) (← links)
- A computer checked algebraic verification of a distributed summation algorithm (Q2576570) (← links)
- Formal Modelling, Analysis and Verification of Hybrid Systems (Q2948232) (← links)
- (Q4499160) (← links)
- Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants (Q4913868) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5711486) (← links)
