Optikron: A tool suite for enhancing model-checking of real-time systems
| 详细信息 | 推荐本文 | |
- 作者：Conrado Daws
- 刊名：Lecture Notes in Computer Science
- 出版时间：1998
- 出版年：1998
- 期刊代码：99_0302-9743
- 类别：cp
- 卷：1427
- 期：1
- 页码：542-545
- 数据来源：sp
摘要
Optikron is a tool suite implementing a set of efficient techniques which can be combined to reduce the number of clock variables of a timed system specification without changing its behavior. Thus, the performance of the model-checking procedures can be improved, both in memory space and running time, as we show for the reachability analysis.