Verification of Gap-Order Constraint Abstractions of Counter Systems.

Laura Bozzelli, Sophie Pinchinat

Browse the full VMCAI paper archive.