Thread-modular counterexample-guided abstraction refinement

DOI10.1007/978-3-642-15769-1_22MaRDI QIDQ4930739zbMATH OpenOpenAlexFDO

Authors Alexander Malkis, Andreas Podelski, Andrey Rybalchenko

Publication date 1 October 2010

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15769-1_22

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Precise Thread-Modular Verification
• Counter-example guided program verification
• scientific article; zbMATH DE number 1670775
• Computer Aided Verification
• Thread-modular abstraction refinement.

Cited in

(10)

• Counterexample-guided prophecy for model checking modulo the theory of arrays
• Improving thread-modular abstract interpretation
• Efficient strategies for CEGAR-based model checking
• Counter-example guided program verification
• A configurable CEGAR framework with interpolation-based refinements
• Counterexample validation and interpolation-based refinement for forest automata
• Dataflow analysis for datarace-free programs
• Precise Thread-Modular Verification
• Counterexample guided path reduction for static program analysis
• Computer Aided Verification

This page was built for publication: Thread-modular counterexample-guided abstraction refinement

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