首页> 外文OA文献 >A Unifying Model Checking Approach for Safety Properties of Parameterized Systems

【2h】

A Unifying Model Checking Approach for Safety Properties of Parameterized Systems

机译：参数化系统安全性的统一模型检验方法

页面导航

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

著录项

作者
Monika Maidl;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A lightweight regular model checking approach for parameterized systems [J] . Giorgio Delzanno, Ahmed Rezine International Journal on Software Tools for Technology Transfer . 2012,第2期

机译：用于参数化系统的轻量级常规模型检查方法
2. Parameterized model checking of rendezvous systems [J] . Aminof Benjamin, Kotek Tomer, Rubin Sasha, Distributed Computing . 2018,第3期

机译：交会系统的参数化模型检查
3. Model checking parameterized asynchronous shared-memory systems [J] . Durand-Gasselin Antoine, Esparza Javier, Ganty Pierre, Formal Methods in System Design . 2017,第2a3期

机译：模型检查参数化异步共享内存系统
4. A Unifying Model Checking Approach for Safety Properties of Parameterized Systems [C] . Monika Maidl Computer Aided Verification . 2001

机译：参数化系统安全特性的统一模型检验方法
5. Model checking implicit-invocation systems: An approach to the automatic analysis of architectural styles. [D] . Bradbury, Jeremy Scott. 2002

机译：模型检查隐式调用系统：一种自动分析建筑风格的方法。
6. Parameterized model checking of rendezvous systems [O] . Benjamin Aminof, Tomer Kotek, Sasha Rubin, -1

机译：交会系统的参数化模型检查
7. A Unifying Framework for Model Checking Labeled Kripke Structures, Modal Transition Systems, and Interval Transition Systems [O] . Michael Huth 1999

机译：模型检查的统一框架标记的Kripke结构，模态转换系统和区间转换系统

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号