Pages that link to "Item:Q351971"
From MaRDI portal
The following pages link to Recent advances in program verification through computer algebra (Q351971):
Displaying 6 items.
- Generating exact nonlinear ranking functions by symbolic-numeric hybrid method (Q394460) (← 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)
- Formal Modelling, Analysis and Verification of Hybrid Systems (Q2948232) (← links)
- Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants (Q4913868) (← links)
