Detecting errors in multithreaded programs by generalized predictive analysis of executions

DOI10.1007/11494881_14MaRDI QIDQ4989030zbMATH OpenOpenAlexFDO

Authors Koushik Sen, Gul A. Agha, Grigore Roşu

Publication date 20 May 2021

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11494881_14

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) 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

• Tools and Algorithms for the Construction and Analysis of Systems
• Symbolic predictive analysis for concurrent programs
• Trace-based symbolic analysis for atomicity violations
• The Complexity of Predicting Atomicity Violations
• Causality-based verification of multi-threaded programs

Cited in

(7)

• Efficient abstraction algorithms for predicate detection
• Trace-based symbolic analysis for atomicity violations
• The Complexity of Predicting Atomicity Violations
• Symbolic predictive analysis for concurrent programs
• Tools and Algorithms for the Construction and Analysis of Systems
• Automated Technology for Verification and Analysis
• Parametric and Sliced Causality

This page was built for publication: Detecting errors in multithreaded programs by generalized predictive analysis of executions

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