Environment Abstraction for Parameterized Verification.

Edmund M. Clarke, Muralidhar Talupur, Helmut Veith

Browse the full VMCAI paper archive.