Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility

Bibliographic Details
Main Authors:	Lorch, Jacob, Chen, Yixuan, Kapritsos, Manos, Ma, Haojun, Parno, Bryan, Qadeer, Shaz, Sharma, Upamanyu, Wilcox, James, Zhao, Xueyuan
Other Authors:	Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format:	Article
Language:	English
Published:	ACM 2022
Online Access:	https://hdl.handle.net/1721.1/146479

Internet

https://hdl.handle.net/1721.1/146479