Automated Modular Verification for Race-Free Channels with Implicit and Explicit Synchronization

Andreea Costea, Wei-Ngan Chin, Florin Craciun +1

Ensuring the correctness of software for communication centric programs is important but challenging. Previous approaches, based on session types, have been intensively investigate…