Efficient SAT-based bounded model checking for software verification

机译：高效的基于SAT的有界模型检查，用于软件验证

代理获取

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

页面导航

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

著录项

作者
Ivančić Franjo; Yang Zijiang; Ganai Malay K.; Gupta Aarti; Ashar Pranav;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Efficient SAT-based bounded model checking for software verification [J] . Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Theoretical computer science . 2008,第3期

机译：高效的基于SAT的边界模型检查，用于软件验证
2. Efficient distributed SAT and SAT-based distributed Bounded Model Checking [J] . Malay K. Ganai, Aarti Gupta, Zijiang Yang, International Journal on Software Tools for Technology Transfer . 2006,第4a5期

机译：高效的分布式SAT和基于SAT的分布式有界模型检查
3. Verifying cooperative software: A SMT-based bounded model checking approach for deterministic scheduler [J] . Haitao Zhang, Guoqiang Li, Daniel Sun, Journal of systems architecture . 2017,第期

机译：验证合作软件：基于SMT的界限模型检查方法，用于确定性调度程序
4. SAT-Based Bounded Software Model Checking for Embedded Software: A Case Study [C] . Yunho Kim, Moonzoo Kim Asia-Pacific Software Engineering Conference . 2014

机译：基于SAT的嵌入式软件有界软件模型检查：案例研究
5. Model checking for open systems: A compositional approach to software verification. [D] . Andrade-Gomez, Hector Adolfo. 2001

机译：开放系统的模型检查：一种组合的软件验证方法。
6. Petri Net and Probabilistic Model Checking Based Approach for the Modelling, Simulation and Verification of Internet Worm Propagation [O] . Misbah Razzaq, Jamil Ahmad 2010

机译：基于Petri网和概率模型检查的Internet蠕虫传播建模，仿真与验证方法。
7. Efficient SAT-based bounded model checking for software verification [O] . F. Ivančić, Z. Yang, M. K. Ganai, 2004

机译：高效的基于saT的有界模型检查软件验证
8. Bounded Model Checking for Verifying Concurrent Programs [R] . Jussila, T. 2002

机译：有限模型检验验证并发程序

Efficient SAT-based bounded model checking for software verification

著录项

引文网络

相似文献

相关主题

期刊订阅