Verification and falsification of programs with loops using predicate abstraction
type: Item
instance of: scholarly article
title: Verification and falsification of programs with loops using predicate abstraction
zbMATH Open document ID: 1215.68130
author: Daniel Kroening
author: Georg Weissenbacher
published in: Formal Aspects of Computing
publication date: 2010-05-05T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5703854
zbMATH Keywords: verification of programs with loops
Wikidata QID: Q62040472
describes a project that uses: MiniSat
describes a project that uses: SPIN
describes a project that uses: SLAM
describes a project that uses: Daikon
describes a project that uses: SatAbs
describes a project that uses: EUREKA
describes a project that uses: FAST
describes a project that uses: Bebop
MaRDI profile type: Publication
full work available at URL: s00165-009-0110-2
OpenAlex ID: W2024978854
cites work: Invariant Synthesis for Combined Theories
cites work: Leaping Loops in the Presence of Abstraction
cites work: Q2769592
cites work: Q4472235
cites work: Q2753756
cites work: Constructive versions of Tarski's fixed point theorems
cites work: Q2754081
cites work: Model Checking Software
cites work: Predicate abstraction of ANSI-C programs using SAT
cites work: Tools and Algorithms for the Construction and Analysis of Systems
cites work: Static Analysis
cites work: Guarded commands, nondeterminacy and formal derivation of programs
cites work: Q2754086
cites work: The Daikon system for dynamic detection of likely invariants
cites work: Theory and Applications of Satisfiability Testing
cites work: Q4415251
cites work: Q4040797
cites work: Q4721623
cites work: Q4804923
cites work: Abstractions from proofs
cites work: Lazy abstraction
cites work: An axiomatic basis for computer programming
cites work: Computer Aided Verification
cites work: Q4326390
cites work: Programming Languages and Systems
cites work: Lazy Abstraction with Interpolants
cites work: Verification, Model Checking, and Abstract Interpretation
DOI: 10.1007/S00165-009-0110-2
description: scientific article; zbMATH DE number 5703854