Bounded Verification of Atomicity Violations for Interrupt-Driven Programs via Lazy Sequentialization

Open Webpage

Yuan Zhang, Lei Qu, Yifei Wu, Leihuan Wu, Tingting Yu, Rui Chen, Weiqiang Kong

Published: 2025, Last Modified: 06 Nov 2025ACM Trans. Softw. Eng. Methodol. 2025EveryoneRevisionsBibTeXCC BY-SA 4.0