Kronos: A Model-Checking Tool for Real-Time Systems.

Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine

Browse the full CAV paper archive.