scientific article; zbMATH DE number 1903370
From MaRDI portal
Publication:4804915
zbMath1010.68774MaRDI QIDQ4804915
Michael A. Colón, Henny B. Sipma
Publication date: 1 May 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2404/24040442.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (15)
Summarization for termination: No return! ⋮ Convergence: integrating termination and abort-freedom ⋮ Generating exact nonlinear ranking functions by symbolic-numeric hybrid method ⋮ A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis ⋮ Proving termination of nonlinear command sequences ⋮ Property-directed incremental invariant generation ⋮ A new look at the automatic synthesis of linear ranking functions ⋮ A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs ⋮ Termination Graphs for Java Bytecode ⋮ Liveness by Invisible Invariants ⋮ Proving Stabilization of Biological Systems ⋮ Proving Termination of Integer Term Rewriting ⋮ Synthesizing ranking functions for loop programs via SVM ⋮ Ranking Functions for Linear-Constraint Loops ⋮ Witness to non-termination of linear programs
This page was built for publication:
