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

Analysis of algorithms and problem complexity (68Q25) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) 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)

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

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)