Some Perspectives of Infinite-State Verification.

Wolfgang Thomas

Browse the full ATVA paper archive.