A toolsuite for the verification of real-time systems in Eclipse

In this work we present an Eclipse plug-in for the VInTiMe (Verifier of INtegrated TImed ModEls)1 suite of tools that combines high-level expressive power, unassisted propertypreserving model reduction and distributed model checking to describe and verify complex real-time system designs and their properties. Keywords Eclipse plug-in, timed model checking, verification, timed automata, Lapsus, ObsSlice, VTS, Zeus

• Type: Conference
• Year: 2006
• Where: ECLIPSE
• Authors: Lucía Cavatorta, Guido de Caso, Andrés Ferrari, Víctor A. Braberman, Diego Garbervetsky, Nicolas Kicillof, Fernando Schapachnik, Alfredo Olivero
• Keywords: ECLIPSE 2006, Eclipse Plug-in, INtegrated TImed ModEls)1, Model Checking, Software Engineering