Automated Deduction of Finite-State Control Programs for Reactive Systems.

Robi Malik

Browse the full CADE paper archive.