A Timed CTL Model Checker for Real-Time Maude.

Daniela Lepri, Erika brahm, Peter Csaba lveczky

Browse the full CALCO paper archive.