McScM: A General Framework for the Verification of Communicating Machines.

Alexander Heuner, Tristan Le Gall, Grgoire Sutre

Browse the full TACAS paper archive.