首页> 外文OA文献 >A Direct Symbolic Approach to Model Checking Pushdown Systems (extended abstract)

【2h】

A Direct Symbolic Approach to Model Checking Pushdown Systems (extended abstract)

机译：模型检查下推系统的直接符号方法（扩展摘要）

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

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

著录项

作者
Finkel Alain; Willems Bernard; Wolper Pierre;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Symbolic model checking algorithm for a system consisting of extended finite state machines with integer input registers [J] . Masayuki Hirata, Kozo Okano, Kenichi Taniguchi 電子情報通信学会技術研究報告. ソフトウェアサイエンス. Software Science . 2000,第471期

机译：由带有有限输入寄存器的扩展有限状态机组成的系统的符号模型检查算法
2. Symbolic model checking algorithm for a system consisting of extended finite state machines with integer input registers [J] . Masayuki Hirata, Kozo Okano, Kenichi Taniguchi 電子情報通信学会技術研究報告. ソフトウェアサイエンス. Software Science . 2000,第471期

机译：由带有有限输入寄存器的扩展有限状态机组成的系统的符号模型检查算法
3. Symbolic model checking algorithm for a system consisting of extended finite state machines with integer input registers [J] . Masayuki Hirata, Kozo Okano, Kenichi Taniguchi 電子情報通信学会技術研究報告. ソフトウェアサイエンス. Software Science . 2000,第471期

机译：具有整数输入寄存器的扩展有限状态机组成的系统符号模型检查算法
4. Extended abstract: transition traversal coverage estimation for symbolic model checking [C] . Xu X., Kimura S., Horikawa K., Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. Proceedings. Third ACM and IEEE International Conference on . 2005

机译：扩展的摘要：用于符号模型检查的过渡遍历覆盖率估计
5. Symbolic model checking: An approach to the state explosion problem [D] . McMillan, Kenneth Lauchlin 1992

机译：符号模型检查：一种解决状态爆炸问题的方法
6. Integrated modeling of extended agro-food supply chains: A systems approach [O] . Firouzeh Taghikhah, Alexey Voinov, Nagesh Shukla, -1

机译：综合建模扩展农业食品供应链：一种系统方法
7. A Direct Symbolic Approach to Model Checking Pushdown Systems (Extended Abstract) [O] . Alain Finkel, Bernard Willems, Pierre Wolper 1997

机译：模型检查下推系统的直接符号方法（扩展摘要）

A Direct Symbolic Approach to Model Checking Pushdown Systems (extended abstract)

著录项

引文网络

相似文献

相关主题

期刊订阅