Causality-Based Verification of Multi-threaded Programs

DOI10.1007/978-3-642-40184-8_19zbMath1390.68187OpenAlexW65858999MaRDI QIDQ2842113

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) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Causality-based game solving, Operational causality -- necessarily sufficient and sufficiently necessary