Property dependent abstraction of control structure for software verification

DOI10.1007/3-540-45614-7_29MaRDI QIDQ4808849zbMATH OpenFDO

Authors Thomas Firley, Ursula Goltz

Publication date 12 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2391/23910511.htm

zbMATH Keywords

algorithmic construction of abstract semanticsproperty oriented abstractionsoftware verification

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Formal Methods at the Crossroads. From Panacea to Foundational Support
• Software model checking
• Model checking with formula-dependent abstract models
• SPIN: Extending SPIN with abstraction
• Abstraction and abstraction refinement

Cited in

(6)

• Property checking driven abstract interpretation-based static analysis
• Constructing Property-Oriented Models for Verification
• Structural Abstraction of Software Verification Conditions
• CONTROLLABILITY AND COOPERATIVENESS ANALYSIS FOR AUTOMATIC ABSTRACTION REFINEMENT
• Property-Driven Partitioning for Abstraction Refinement
• Abstract interpretation of CTL properties

This page was built for publication: Property dependent abstraction of control structure for software verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4808849)