RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems.

Souha Ben Rayana, Marius Bozga, Saddek Bensalem, Jacques Combaz

Browse the full TACAS paper archive.