scientific article; zbMATH DE number 1701751
From MaRDI portal
zbMATH Open0978.68095MaRDI QIDQ2769578FDOQ2769578
Authors: Michael A. Colón, Henny B. Sipma 
Publication date: 5 February 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2031/20310067
Title of this publication is not available (Why is that?)
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)
- Generating exact nonlinear ranking functions by symbolic-numeric hybrid method
- Title not available (Why is that?)
- 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
- Automatic verification of counter systems with ranking function
- Termination of floating-point computations
- Automata-Based Termination Proofs
- A new look at the automatic synthesis of linear ranking functions
- Witness to non-termination of linear programs
- Ranking functions for linear-constraint loops
- Discovering invariants via simple component analysis
- Applications of polyhedral computations to the analysis and verification of hardware and software systems
- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems
- PPLite: zero-overhead encoding of NNC polyhedra
- On lexicographic proof rules for probabilistic termination
- Ranking function synthesis for bit-vector relations
- Termination analysis of programs with multiphase control-flow
- Recent advances in program verification through computer algebra
- Proving Termination of Integer Term Rewriting
- The octagon abstract domain
- 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?
- MDPs as distribution transformers: affine invariant synthesis for safety objectives
- Multiphase-linear ranking functions and their relation to recurrent sets
- Synthesizing ranking functions for loop programs via SVM
- Title not available (Why is that?)
- Ranking Templates for Linear Loops
- Computer Aided Verification
- Title not available (Why is that?)
- A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs
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)
