Verics: A Tool for Verifying Timed Automata and Estelle Specifications.

Piotr Dembinski, Agata Janowska, Pawel Janowski, Wojciech Penczek, Agata Plrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny

Browse the full TACAS paper archive.