Context-bounded verification of thread pools

Open Webpage

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

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