Reachability under Contextual Locking

DOI10.2168/LMCS-9(3:21)2013zbMath1274.68064arXiv1308.2349OpenAlexW2087943116MaRDI QIDQ5891174

Mahesh Viswanathan, Rohit Chadha, P. Madhusudan, Rémi Bonnet

Publication date: 26 September 2013

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

static analysislockspushdown reachabilityreentrant locks

Mathematics Subject Classification ID

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

Related Items (1)

Model Checking Concurrent Programs

This page was built for publication: Reachability under Contextual Locking