Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems

Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea. Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems. In Workshop on Languages, Compilers, & Tools for Real-Time Systems. pages 70-78, 1995.

Abstract

Abstract is missing.