Causality-based verification of multi-threaded programs

DOI10.1007/978-3-642-40184-8_19MaRDI QIDQ2842113zbMATH OpenOpenAlexFDO

Authors Andrey Kupriyanov, Bernd Finkbeiner

Publication date 12 August 2013

Published in CONCUR 2013 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40184-8_19

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Proof spaces for unbounded parallelism
• scientific article; zbMATH DE number 1670562
• Thread-modular abstraction refinement.
• Complexity of pattern-based verification for multithreaded programs
• scientific article; zbMATH DE number 1982207

Cited in

(13)

• Distributed verification of multi-threaded C++ programs
• Precisely deciding control state reachability in concurrent traces with limited observability
• Reasoning about threads with bounded lock chains
• scientific article; zbMATH DE number 2117132 (Why is no real title available?)
• Detecting errors in multithreaded programs by generalized predictive analysis of executions
• Model Checking Software
• Tools and Algorithms for the Construction and Analysis of Systems
• Complexity of pattern-based verification for multithreaded programs
• Parametric and Sliced Causality
• Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation)
• Operational causality -- necessarily sufficient and sufficiently necessary
• From verification to causality-based explications (invited talk)
• Causality-based game solving

This page was built for publication: Causality-based verification of multi-threaded programs

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