首页> 外文OA文献 >Linear-Time Model Checking: Automata Theory in Practice

【2h】

Linear-Time Model Checking: Automata Theory in Practice

机译：线性时间模型检验：实践中的自动机理论

页面导航

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

著录项

作者
Moshe Y. Vardi;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Model checking memoryful linear-time logics over one-counter automata [J] . Stephane Demri, Ranko Lazic, Arnaud Sangnier Theoretical computer science . 2010,第22a24期

机译：通过一计数器自动机进行模型检查记忆线性时间逻辑
2. Distributed CTL model checking using MapReduce: theory and practice [J] . Bellettini Carlo, Camilli Matteo, Capra Lorenzo, Concurrency and computation: practice and experience . 2016,第11期

机译：使用MapReduce进行分布式CTL模型检查：理论与实践
3. Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice (Invited Talk) [J] . Marta Z. Kwiatkowska LIPIcs : Leibniz International Proceedings in Informatics . 2016,第2期

机译：随机游戏的模型检验和策略综合：从理论到实践（特邀演讲）
4. Linear-Time Model Checking: Automata Theory in Practice (Extended Abstract of an Invited Talk) [C] . Moshe Y. Vardi International Conference on Implementation and Application of Automata(CIAA 2007); 20070716-18; Prague(CZ) . 2007

机译：线性时间模型检查：实践中的自动机理论（特邀演讲的延伸摘要）
5. Formal Analysis of Electronic System Level Models using Satisfiability Modulo Theories and Automata Checking. [D] . Chang, Che-Wei. 2015

机译：使用满意度模理论和自动机检查对电子系统级模型进行形式化分析。
6. Model Checking Temporal Logic Formulas Using Sticker Automata [O] . Weijun Zhu, Changwei Feng, Huanmei Wu 2006

机译：使用贴纸自动机模型检查时间逻辑公式
7. Model checking memoryful linear-time logics over one-counter automata [O] . Demri Stéphane, Lazić Ranko, Sangnier Arnaud 2010

机译：通过一计数器自动机进行模型检查记忆线性时间逻辑

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号