Multi-core Emptiness Checking of Timed Bchi Automata Using Inclusion Abstraction.

Alfons Laarman, Mads Chr. Olesen, Andreas Engelbredt Dalsgaard, Kim Guldstrand Larsen, Jaco van de Pol

Browse the full CAV paper archive.