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
(38)- Applications of polyhedral computations to the analysis and verification of hardware and software systems
- Synthesizing ranking functions for loop programs via SVM
- Algebraic model checking for discrete linear dynamical systems
- PPLite: zero-overhead encoding of NNC polyhedra
- Time-bounded termination analysis for probabilistic programs with delays
- Ranking function synthesis for bit-vector relations
- Discovering non-terminating inputs for multi-path polynomial programs
- Witness to non-termination of linear programs
- Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods
- Decision Procedures for Automating Termination Proofs
- Termination of single-path polynomial loop programs
- Recent advances in program verification through computer algebra
- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems
- Ranking function synthesis for bit-vector relations
- Proving Termination of Integer Term Rewriting
- Automata-Based Termination Proofs
- scientific article; zbMATH DE number 4072701 (Why is no real title available?)
- Generating exact nonlinear ranking functions by symbolic-numeric hybrid method
- Discovering invariants via simple component analysis
- scientific article; zbMATH DE number 1903370 (Why is no real title available?)
- Termination of linear loops over the integers
- Automatic verification of counter systems with ranking function
- A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs
- Ranking Templates for Linear Loops
- Ranking functions for linear-constraint loops
- Computer Aided Verification
- Verification, Model Checking, and Abstract Interpretation
- Termination of linear programs with nonlinear constraints
- What's decidable about discrete linear dynamical systems?
- MDPs as distribution transformers: affine invariant synthesis for safety objectives
- Multiphase-linear ranking functions and their relation to recurrent sets
- On lexicographic proof rules for probabilistic termination
- Termination analysis of programs with multiphase control-flow
- A new look at the automatic synthesis of linear ranking functions
- Omega-regular verification and control for distributional specifications in MDPs
- Termination of floating-point computations
- The octagon abstract domain
- Property-directed incremental invariant generation
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)
