Formalization and Verification of Go-based New Simple Queue System.

Danyang Wang, Jiaqi Yin, Sini Chen, Huibiao Zhu

Browse the full APSEC paper archive.