Automated Modular Verification for Relaxed Communication Protocols.

Andreea Costea, Wei-Ngan Chin, Shengchao Qin, Florin Craciun

Browse the full APLAS paper archive.