Generation of Initial Contexts for Effective Deadlock Detection

DOI10.1007/978-3-319-94460-9_1MaRDI QIDQ5886820zbMATH OpenOpenAlexFDO

Authors Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel

Publication date 9 April 2023

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1709.04255

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Tighter reachability criteria for deadlock-freedom analysis
• Deadlock checking by data race detection
• Deadlock checking by data race detection
• An automatic technique for static deadlock prevention
• Deadlock detection of Java bytecode

This page was built for publication: Generation of Initial Contexts for Effective Deadlock Detection

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