首页> 外文OA文献 >Three Approximation Techniques for ASTRAL Symbolic Model Checking of Infinite State Real-time Systems

【2h】

Three Approximation Techniques for ASTRAL Symbolic Model Checking of Infinite State Real-time Systems

机译：无限状态实时系统asTRaL符号模型检验的三种逼近技术

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Zhe Dang; Richard A. Kemmerer;
展开▼
作者单位

展开▼
年度 2000
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Development and Evaluation of Symbolic Model Checker Based on Approximation for Real-Time Systems [J] . Satoshi Yamane, Kazuhiro Nakamura Systems and Computers in Japan . 2004,第10期

机译：基于逼近的实时系统符号模型检查器的开发与评估
2. Fully symbolic TCTL model checking for complete and incomplete real-time systems [J] . Georges Morbe, Christoph Scholl Science of Computer Programming . 2015,第NOVa1PTa2期

机译：完整和不完整的实时系统的完全符号TCTL模型检查
3. Symbolic execution and timed automata model checking for timing analysis of Java real-time systems [J] . Kasper S. Luckow, Corina S. P?s?reanu, Bent Thomsen EURASIP journal on embedded systems . 2015,第1期

机译：用于Java实时系统时序分析的符号执行和定时自动机模型检查
4. Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems [C] . Zhe Dang, Richard A. Kemmerer, PZhe Dang, International conference on Software engineering . 2000

机译：无限状态实时系统ASTRAL符号模型检查的三种近似技术
5. Tabled resolution and constraints for model checking real-time systems and infinite-state systems. [D] . Du, Xiaoqun. 2000

机译：列出了用于模型检查实时系统和无限状态系统的分辨率和约束。
6. Efficient parameter search for qualitative models of regulatory networks using symbolic model checking [O] . Gregory Batt, Michel Page, Irene Cantone, -1

机译：使用符号模型检查对监管网络的定性模型进行有效的参数搜索
7. A Symbolic Model Checker for Testing ASTRAL Real-time Specifications [O] . Zhe Dang, Richard A. Kemmerer 1999

机译：用于测试ASTRAL实时规格的符号模型检查器
8. Applying Infinite State Model Checking and Other Analysis Techniques to Tabular Requirements Specifications of Safety-Critical Systems [R] . Bultan, T., Heitmeyer, C. 2006

机译：将无限状态模型检验及其他分析技术应用于安全关键系统的表格要求规范

Three Approximation Techniques for ASTRAL Symbolic Model Checking of Infinite State Real-time Systems

著录项

引文网络

相似文献

相关主题

期刊订阅