Abstraction-Based Verification of Infinite-State Reactive Modules.

Francesco Belardinelli, Alessio Lomuscio

Browse the full ECAI paper archive.