Global vs. Local Model Checking: A Comparison of Verification Techniques for Infinite State Systems.

Tobias Schle, Klaus Schneider

Browse the full SEFM paper archive.