Computing quantitative chacteristics of finite-state real-time systems
Compositional Reasoning In Model Checking
Verus: A Tool For Quantitative Analysis Of Finite-State Real-Time Systems
Temporal Verification Of Real-Time Systems
Symbolic Techniques For Formally Verifying Industrial Systems
Analysis And Verification Of Real-Time Systems Using Quantitative Symbolic Algorithms A Ser Publicado Em 1998
Sergio Vale Aguiar Campos
M. MINEA
W. MARRERO
V. HARTONAS-GARMHAUSEN
K. MCMILLAN
M. TEIXEIRA