Towards a Model-Checker for Counter Systems.

Stphane Demri, Alain Finkel, Valentin Goranko, Govert van Drimmelen

Browse the full ATVA paper archive.