Context-bounded verification of liveness properties for multithreaded shared-memory programs

Open Webpage

Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche

Published: 2021, Last Modified: 04 May 2026Proc. ACM Program. Lang. 2021EveryoneRevisionsBibTeXCC BY-SA 4.0