Model Checking for Infinite State Systems Using Data Abstraction, Assumption-Commitment Style reasoning and Theorem Proving.

Jrgen Dingel, Thomas Filkorn

Browse the full CAV paper archive.