Sciweavers

Share
ECLIPSE
2006
ACM

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

8 years 9 months ago
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
Lucía Cavatorta, Guido de Caso, André
Added 22 Aug 2010
Updated 22 Aug 2010
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
Comments (0)
books