Incremental verification by abstraction

DOI10.1007/3-540-45319-9_8MaRDI QIDQ2769580zbMATH OpenFDO

Authors Yassine Lakhnech, Saddek Bensalem, Sam Owre, S. A. Berezin

Publication date 5 February 2002

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/2031/20310098

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Incremental verification using trace abstraction
• Abstraction as the key for invariant verification
• Verification by abstract interpretation
• On abstraction in software verification
• scientific article; zbMATH DE number 1953018
• Verification by augmented finitary abstraction
• Monotonic abstraction in parameterized verification

Cited in

(13)

• Verification by augmented finitary abstraction
• Mechanical verification of an ideal incremental ABR conformance algorithm
• Predicate abstraction for dense real-time systems
• Incremental Abstract Interpretation
• Refinement of Trace Abstraction
• Compositional Verification for Component-Based Systems and Application
• scientific article; zbMATH DE number 2102725 (Why is no real title available?)
• Reuse in Software Verification by Abstract Method Calls
• Abstraction as the key for invariant verification
• Structural Abstraction of Software Verification Conditions
• Formal Methods at the Crossroads. From Panacea to Foundational Support
• Verification by augmented abstraction: The automata-theoretic view
• Incremental verification using trace abstraction

This page was built for publication: Incremental verification by abstraction

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