CMC: A Tool for Compositional Model-Checking of Real-Time Systems.

Franois Laroussinie, Kim Guldstrand Larsen

Browse the full FORTE paper archive.