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

Abstract

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. 
DOI: 10.1145/1188835.1188843

Topics

8 Figures and Tables

Slides referencing similar topics