Thread-Modular Counterexample-Guided Abstraction Refinement

DOI10.1007/978-3-642-15769-1_22zbMath1306.68031OpenAlexW1600769824MaRDI QIDQ4930739

Andreas Podelski, Alexander Malkis, 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

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

Related Items (1)

Dataflow Analysis for Datarace-Free Programs

This page was built for publication: Thread-Modular Counterexample-Guided Abstraction Refinement