首页> 外文OA文献 >Unfold/fold Transformations for Automated Verification of Parameterized Concurrent Systems

【2h】

Unfold/fold Transformations for Automated Verification of Parameterized Concurrent Systems

机译：展开/折叠转换以自动验证参数化并发系统

页面导航

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

著录项

作者

展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Concurrent combined verification: Reducing false positives in automated NMR structure verification through the evaluation of multiple challenge control structures [J] . Golotvin S.S., Pol R., Sasaki R.R., Magnetic Resonance in Chemistry: MRC . 2012,第6期

机译：并行组合验证：通过评估多个挑战控制结构来减少自动NMR结构验证中的误报
2. Beyond Tamaki-Sato style unfold/fold transformations for normal logic programs [J] . Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, International Journal of Foundations of Computer Science . 2002,第3期

机译：超越Tamaki-Sato样式的普通逻辑程序的展开/折叠转换
3. De novo design of foldable proteins with smooth folding funnel: Automated negative design and experimental verification [J] . Jin WZ., Kambara O., Sasakawa H., Structure . 2003,第5期

机译：从头开始设计具有平滑折叠漏斗的可折叠蛋白质：自动化的阴性设计和实验验证
4. Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems [C] . Abhik Roychoudhury, C.R. Ramakrishnan, Lecture Notes in Computer Science 3049 LOPSTR Symposium . 2004

机译：用于自动验证参数化并发系统的展开/折叠变换
5. A Methodology for Automated Verification of Rosetta Specification Transformations [D] . Lohoefener, Jennifer L. 2011

机译：Rosetta规范转换的自动验证方法
6. Parameterized Verification of Systems with Global Synchronization and Guards [O] . Nouraldin Jaber, Swen Jacobs, Christopher Wagner, -1

机译：全局同步和防护系统的系统参数化验证
7. Unfold/Fold Transformations of Concurrent Processes [O] . Nicoletta De Francesco, Antonella Santone 1996

机译：并发进程的展开/折叠转换

Unfold/fold Transformations for Automated Verification of Parameterized Concurrent Systems

著录项

引文网络

相似文献

相关主题

期刊订阅