On invariant checking
type: Item
instance of: scholarly article
title: On invariant checking
zbMATH Open document ID: 1310.68147
author: Zhi-Hai Zhang
author: Deepak Kapur
published in: Journal of Systems Science and Complexity
publication date: 2014-01-27T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 6250670
zbMATH Keywords: Floyd-Hoare logic
zbMATH Keywords: invariant generation
zbMATH Keywords: program verification
zbMATH Keywords: program debugging
zbMATH Keywords: loop invariants
describes a project that uses: QEPCAD
describes a project that uses: Daikon
MaRDI profile type: Publication
full work available at URL: s11424-013-1296-1
OpenAlex ID: W2038243321
Wikidata QID: Q125290155
cites work: Systematic design of program transformation frameworks by abstract interpretation
cites work: Q5584402
cites work: An axiomatic basis for computer programming
cites work: Automatic generation of polynomial invariants of bounded degree using abstract interpretation
cites work: Generating all polynomial invariants in simple loops
cites work: A quantifier-elimination based heuristic for automatically generating inductive assertions for programs
cites work: Verification Constraint Problems with Strengthening
cites work: Generating Polynomial Invariants with DISCOVERER and QEPCAD
cites work: Computer Aided Verification
cites work: Non-linear loop invariant generation using Gröbner bases
cites work: The Daikon system for dynamic detection of likely invariants
cites work: Q3995530
cites work: Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems
cites work: Verification, Model Checking, and Abstract Interpretation
cites work: QEPCAD B
cites work: Property-directed incremental invariant generation
DOI: 10.1007/S11424-013-1296-1
description: scientific article; zbMATH DE number 6250670