The following pages link to Computer Aided Verification (Q5716591):
Displaying 31 items.
- Constraint solving for interpolation (Q604394) (← links)
- A new look at the automatic synthesis of linear ranking functions (Q714505) (← links)
- Proving mutual termination (Q746783) (← links)
- Reflections on termination of linear loops (Q832249) (← links)
- Decision tree learning in CEGIS-based termination analysis (Q832251) (← links)
- Property-directed incremental invariant generation (Q939166) (← links)
- Convergence: integrating termination and abort-freedom (Q1647960) (← links)
- On the linear ranking problem for simple floating-point loops (Q1664396) (← links)
- Inferring expected runtimes of probabilistic integer programs using expected sizes (Q2044203) (← links)
- Synthesizing ranking functions for loop programs via SVM (Q2084940) (← links)
- \textsc{LTL} falsification in infinite-state systems (Q2105460) (← links)
- Ranking function synthesis for bit-vector relations (Q2248069) (← links)
- Witness to non-termination of linear programs (Q2357364) (← links)
- Analyzing program termination and complexity automatically with \textsf{AProVE} (Q2362493) (← links)
- (Q2769578) (← links)
- Lower Runtime Bounds for Integer Programs (Q2817952) (← links)
- Termination of Single-Path Polynomial Loop Programs (Q3179389) (← links)
- Proving Termination Through Conditional Termination (Q3303892) (← links)
- Detection of ranking functions of polynomial loop programs (Q3306912) (← links)
- A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis (Q3512505) (← links)
- Proving Termination of Integer Term Rewriting (Q3636817) (← links)
- (Q3804440) (← links)
- (Q5020657) (← links)
- A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs (Q5191108) (← links)
- Ranking Templates for Linear Loops (Q5246721) (← links)
- Ranking Functions for Linear-Constraint Loops (Q5501930) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5901912) (← links)
- MDPs as distribution transformers: affine invariant synthesis for safety objectives (Q6535681) (← links)
- Multiphase-linear ranking functions and their relation to recurrent sets (Q6536301) (← links)
- On lexicographic proof rules for probabilistic termination (Q6610383) (← links)
- Termination analysis of programs with multiphase control-flow (Q6647299) (← links)
