scientific article; zbMATH DE number 1903370

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.

Mathematics Subject Classification ID

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: