kmclib: Automated Inference and Verification of Session Types

Keigo Imai, Julien Lange, Rumyana Neykova

Theories and tools based on multiparty session types offer correctness guarantees for concurrent programs that communicate using message-passing. These guarantees usually come at t…