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

Proceedings of the 2006 OOPSLA workshop on eclipse technology eXchange Pub Date : 2006-10-22 DOI:10.1145/1188835.1188843

Lucía Cavatorta, Guido de Caso, A. Ferrari, V. Braberman, D. Garbervetsky, N. Kicillof, F. Schapachnik, A. Olivero

引用次数: 0

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.

查看原文本刊更多论文

用于验证Eclipse中的实时系统的工具套件

在这项工作中，我们为VINTIME(集成时间模型验证器)工具套件提供了一个Eclipse插件，它结合了高级表达能力、无辅助的属性保留模型简化和分布式模型检查来描述和验证复杂的实时系统设计及其属性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Proceedings of the 2006 OOPSLA workshop on eclipse technology eXchange

自引率

0.00%

发文量