A toolsuite for the verification of real-time systems in Eclipse
Lucía Cavatorta, Guido de Caso, Andrés Ferrari, Victor A. Braberman, Diego Garbervetsky, Nicolás Kicillof, Fernando Schapachnik, Alfredo Olivero · 2006
In this work we present an Eclipse plug-in for the VINTIME (Verifier of INtegrated TImed ModEls) suite of tools that combines high-level expressive power, unassisted property-preserving model reduction and distributed model checking to describe and verify complex real-time system designs and their properties.