A Bounded Model Checker for Timed Automata and Its Application to LTL Properties.

Kozo Okano, Maiko Onishi, Jo Otsuka, Shinpei Ogata, Toshifusa Sekizawa, Keishi Okamoto, Daisuke Bekki

Browse the full KES paper archive.