Model Checking Communication Protocols.

Pablo Argn, Giorgio Delzanno, Supratik Mukhopadhyay, Andreas Podelski

Browse the full SOFSEM paper archive.