An implementation of three algorithms for timing verification based on automata emptiness.

Rajeev Alur, Costas Courcoubetis, David L. Dill, Nicolas Halbwachs, Howard Wong-Toi

Browse the full RTSS paper archive.