Parameterized Verification of Systems with Global Synchronization and Guards.

Nouraldin Jaber, Swen Jacobs, Christopher Wagner, Milind Kulkarni, Roopsha Samanta

Browse the full CAV paper archive.