The Verus Tool: A Quantitative Approach to the Formal Verification of Real-Time Systems.

Srgio Vale Aguiar Campos, Edmund M. Clarke, Marius Minea

Browse the full CAV paper archive.