scientific article; zbMATH DE number 1701751
From MaRDI portal
Publication:2769578
Recommendations
- Verification, Model Checking, and Abstract Interpretation
- A new look at the automatic synthesis of linear ranking functions
- On multiphase-linear ranking functions
- Ranking as function approximation
- Ranking function synthesis for bit-vector relations
- Ranking function synthesis for bit-vector relations
- Ranking functions and axioms for linear orders
- A linear functional strategy for regularized ranking
- Computer Aided Verification
Cited in
(37)- A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs
- Generating exact nonlinear ranking functions by symbolic-numeric hybrid method
- scientific article; zbMATH DE number 4072701 (Why is no real title available?)
- Time-bounded termination analysis for probabilistic programs with delays
- Algebraic model checking for discrete linear dynamical systems
- Termination of single-path polynomial loop programs
- Decision Procedures for Automating Termination Proofs
- Property-directed incremental invariant generation
- Discovering non-terminating inputs for multi-path polynomial programs
- Ranking function synthesis for bit-vector relations
- Termination of floating-point computations
- A new look at the automatic synthesis of linear ranking functions
- Automatic verification of counter systems with ranking function
- Automata-Based Termination Proofs
- Witness to non-termination of linear programs
- Discovering invariants via simple component analysis
- Ranking functions for linear-constraint loops
- Applications of polyhedral computations to the analysis and verification of hardware and software systems
- PPLite: zero-overhead encoding of NNC polyhedra
- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems
- On lexicographic proof rules for probabilistic termination
- Ranking function synthesis for bit-vector relations
- Recent advances in program verification through computer algebra
- The octagon abstract domain
- Proving Termination of Integer Term Rewriting
- Termination analysis of programs with multiphase control-flow
- Termination of linear programs with nonlinear constraints
- Verification, Model Checking, and Abstract Interpretation
- Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods
- What's decidable about discrete linear dynamical systems?
- Synthesizing ranking functions for loop programs via SVM
- MDPs as distribution transformers: affine invariant synthesis for safety objectives
- Multiphase-linear ranking functions and their relation to recurrent sets
- scientific article; zbMATH DE number 7561611 (Why is no real title available?)
- Ranking Templates for Linear Loops
- Computer Aided Verification
- scientific article; zbMATH DE number 1903370 (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2769578)
