Verus: A tool for quantitative analysis of finite-state real-time systems (1995)

by Sérgio Vale Aguiar Campos, Edmund M Clarke, Wilfredo R Marrero, Marius Minea
Venue:In Workshop on Languages, Compilers, & Tools for Real-Time Systems