首页> 外文OA文献 >Formalizing the Soundness of the Encoding Methods of SAT-based Model Checking

【2h】

Formalizing the Soundness of the Encoding Methods of SAT-based Model Checking

机译：正式地确定基于SAT的模型检查的编码方法的声音

代理获取

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

页面导航

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

著录项

作者
Daisuke Ishii; Saito Fujii;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A SAT-based model checking method for asynchronous concurrent systems [J] . Tatsuhiro Tsuchiya, Tohru Kikuno 電子情報通信学会技術研究報告. フォ-ルトトレラントシステム . 2002,第378期

机译：基于SAT的异步并发系统模型检查方法
2. A SAT-based model checking method for asynchronous concurrent systems [J] . Tatsuhiro Tsuchiya, Tohru Kikuno 電子情報通信学会技術研究報告. デ-タ工学. Data Engineering . 2002,第376期

机译：基于SAT的异步并发系统模型检查方法
3. A SAT-based model checking method for asynchronous concurrent systems [J] . Tatsuhiro Tsuchiya, Tohru Kikuno 電子情報通信学会技術研究報告. フォ-ルトトレラントシステム . 2002,第378期

机译：一种基于SAT的异步并发系统模型检查方法
4. Formalizing the Soundness of the Encoding Methods of SAT-based Model Checking [C] . Daisuke Ishii, Saito Fujii International Symposium on Theoretical Aspects of Software Engineering . 2020

机译：正式地形成基于SAT的模型检查的编码方法的声音
5. Comparison of encoding schemes for symbolic model checking of bounded petri nets. [D] . Arora, Nishtha. 2010

机译：有界Petri网的符号模型检查的编码方案比较。
6. A Novel Method to Verify Multilevel Computational Models of Biological Systems Using Multiscale Spatio-Temporal Meta Model Checking [O] . Ovidiu Pârvu, David Gilbert -1

机译：多尺度时空元模型检查验证生物系统多级计算模型的新方法
7. Temporal Logic Encodings for SAT-based Bounded Model Checking [O] . Sheridan Daniel 2006

机译：基于SAT的有界模型检查的时态逻辑编码

Formalizing the Soundness of the Encoding Methods of SAT-based Model Checking

著录项

引文网络

相似文献

相关主题

期刊订阅