Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility

Open Webpage

Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Haojun Ma, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao

Published: 2022, Last Modified: 26 Jan 2026ACM Trans. Program. Lang. Syst. 2022EveryoneRevisionsBibTeXCC BY-SA 4.0