Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems.

Aurore Annichini, Eugene Asarin, Ahmed Bouajjani

Browse the full CAV paper archive.