An architecture-centric approach to the development of a distributed model-checker for timed automata.

Fernando Schapachnik, Vctor A. Braberman, Alfredo Olivero

Browse the full ICSE paper archive.