首页> 外文OA文献 >Using Asynchronous Büchi Automata for Efficient Automatic Verification of Concurrent Systems

【2h】

Using Asynchronous Büchi Automata for Efficient Automatic Verification of Concurrent Systems

机译：使用异步Büchi自动机进行并发系统的高效自动验证

页面导航

著录项
相似文献
相关主题

著录项

作者
Doron Peled; Wojciech Penczek;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Compositional verification of asynchronous concurrent systems using CADP [J] . Garavel Hubert, Lang Frederic, Mateescu Radu Acta Informatica . 2015,第4a5期

机译：使用CADP的异步并发系统的组成验证
2. Exploiting transition locality in automatic verification of finite-state concurrent systems [J] . Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, International Journal on Software Tools for Technology Transfer . 2004,第4期

机译：在有限状态并发系统的自动验证中利用转换局部性
3. Automatic verification of concurrent systems using a formula-based compositional approach [J] . Antonella Santone Acta Informatica . 2002,第8期

机译：使用基于公式的组合方法自动验证并发系统
4. Concurrent Automata vs. Asynchronous Systems [C] . Remi Morin International Symposium on Mathematical Foundations of Computer Science(MFCS 2005); 20050829-0902; Gdansk(PL) . 2005

机译：并发自动机与异步系统
5. Efficient methods for verification and performance evaluation of concurrent systems by Petri nets. [D] . Kovalyov, Andrei. 2002

机译：用Petri网验证并发系统的有效方法。
6. Decentralized automatic generation control of interconnected power systems incorporating asynchronous tie-lines [O] . Ibraheem, Naimul Hasan, Arkan Ahmed Hussein -1

机译：包含异步联络线的互连电力系统的分散式自动发电控制
7. Towards a More Intuitive Specification and Automatic Verification of System Properties with FBT: A Tool for Translating Interval Formulas into Büchi Automata [O] . Miguel J. Hornos 2008

机译：使用FBT实现更直观的规范和系统属性的自动验证：将区间公式转换为Büchiautomata的工具
8. Trace Algebra for Automatic Verification of Real-Time Concurrent Systems [R] . Burch, J. R. 1992

机译：跟踪代数自动验证实时并发系统

Using Asynchronous Büchi Automata for Efficient Automatic Verification of Concurrent Systems

著录项

相似文献

相关主题

期刊订阅