Verification of Parameterized Systems with Combinations of Abstract Domains.

Naghmeh Ghafari, Arie Gurfinkel, Richard J. Trefler

Browse the full FORTE paper archive.