Vin-Time: Combing High-Level Finesse with Low-Level Muscle to Verify Real-Time systems

ALEJANDRA ALFONSO; VICTOR A. BRABERMAN; DIEGO GARBERVETSKY; NICOLAS KICILLOF; ALFREDO OLIVERO; FERNANDO SCHAPACHNIK

Bs. As. , Argentina

Conferencia; Conference on the Principles of Software Engineering; 2004

In this work we present VInTiMe a suite of tools that combines high-level expressive power, unassisted property-preserving model-reduction and low-level distributed model checking power to describe and verify complex Real-Time Systems designs and their properties.