首页> 美国政府科技报告 >Compositional Verification with Abstraction, Learning, and SAT Solving.

【24h】

Compositional Verification with Abstraction, Learning, and SAT Solving.

机译：具有抽象，学习和saT解决的成分验证。

获取原文

页面导航

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

著录项

作者
Komuravelli, A.;
展开▼
作者单位

展开▼
年度 2015
页码 1-230
总页数 230
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Compositional Visible Bisimulation Abstraction Applied to Opacity Verification ? [J] . Mona Noori-Hosseini, Bengt Lennartson, Christoforos Hadjicostis IFAC PapersOnLine . 2018,第7期

机译：应用于不透明度验证的组合可见双仿真抽象？
2. Compositional Visible Bisimulation Abstraction Applied to Opacity Verification ? [J] . Mona Noori-Hosseini, Bengt Lennartson, Christoforos Hadjicostis IFAC PapersOnLine . 2018,第7期

机译：应用于不透明度验证的组合可见双仿真抽象？
3. Compositional Verification of PLC Software using Horn Clauses and Mode Abstraction [J] . Dimitri Bohlender, Stefan Kowalewski IFAC PapersOnLine . 2018,第7期

机译：使用Horn子句和模式抽象对PLC软件进行成分验证
4. SAT-Based Compositional Verification Using Lazy Learning [C] . Nishant Sinha, Edmund Clarke International Conference on Computer Aided Verification(CAV 2007); 20070703-07; Berlin(DE) . 2007

机译：使用懒学习的基于SAT的成分验证
5. Verification of large industrial circuits using SAT based reparameterization and automated abstraction-refinement. [D] . Chauhan, Pankaj P. 2007

机译：使用基于SAT的重新参数化和自动抽象提炼对大型工业电路进行验证。
6. An Abstraction-Based Framework for Neural Network Verification [O] . Yizhak Yisrael Elboher, Justin Gottschlich, Guy Katz -1

机译：基于抽象的神经网络验证框架
7. Abstraction and Learning for Infinite-State Compositional Verification [O] . Dimitra Giannakopoulou, Corina S. Păsăreanu 2013

机译：无限状态组合验证的抽象与学习

Compositional Verification with Abstraction, Learning, and SAT Solving.

著录项

引文网络

相似文献

相关主题

期刊订阅