首页> 美国政府科技报告 >Scalable and Accurate SMT-Based Model Checking of Data Flow Systems.

【24h】

Scalable and Accurate SMT-Based Model Checking of Data Flow Systems.

机译：可扩展且准确的基于smT的数据流系统模型检测。

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

In this project, we developed CVC4, a new SMT solver for use in verification and other applications, especially in the KIND model checker developed collaboratively at U Iowa. CVC4 was developed from scratch into an award-winning 200K LOC solver extensively used and cited by academic and industry users around the world. CVC4 is competitive with the very best SMT solvers and outperforms all other SMT solvers on certain classes of problems.

著录项

作者
Barrett, C.; Deters, M.;
展开▼
作者单位

展开▼
年度 2013
页码 1-21
总页数 21
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Verification; Computer programs; Computers; Model checking; Smt(Satisfiability modulo theories); Hardware;

机译：验证;计算机程序;计算机;模型检查; smt（可满足性模数理论）;硬件;

相似文献

外文文献
中文文献
专利

1. Model checking Petri nets with names using data-centric dynamic systems. [J] . Nancy Eickelmann Computing reviews . 2017,第5期

机译：使用以数据为中心的动态系统对具有名称的Petri网进行模型检查。
2. Using a cropping system model at regional scale: low-data approaches for crop management information and model calibration. (Special Issue: Scaling methods in integrated assessment of agricultural systems.) [J] . Therond O., Hengsdijk H., Casellas E., Agriculture, Ecosystems & Environment: An International Journal for Scientific Research on the Relationship of Agriculture and Food Production to the Biosphere . 2011,第1a2期

机译：在区域范围内使用种植系统模型：用于作物管理信息和模型校准的低数据方法。（特刊：农业系统综合评估中的缩放方法。）
3. Scale effects in Hortonian surface runoff on agricultural slopes in West Africa: field data and models. (Special Issue: Scaling methods in integrated assessment of agricultural systems.) [J] . Giesen N. van de, Stomph T. J., Ajayi A. E., Agriculture, Ecosystems & Environment: An International Journal for Scientific Research on the Relationship of Agriculture and Food Production to the Biosphere . 2011,第1a2期

机译：霍顿地表径流对西非农业坡度的尺度影响：实地数据和模型。（特刊：农业系统综合评估中的缩放方法。）
4. Improving scalability of model-checking for minimizing buffer requirements of synchronous dataflow graphs [C] . Nan Guan, Zonghua Gu, Wang Yi, Design Automation Conference, 2009. ASP-DAC 2009 . 2009

机译：改进模型检查的可伸缩性，以最小化同步数据流图的缓冲区需求
5. Stochastic dataflow graph models for the reliability analysis of communication networks and computer systems. [D] . Chen, Deng-Jyi. 1988

机译：用于通信网络和计算机系统可靠性分析的随机数据流图模型。
6. Correction to: A new semi-automated workflow for chemical data retrieval and quality checking for modeling applications [O] . Domenico Gadaleta, Anna Lombardo, Cosimo Toma, 2019

机译：更正为：一种新的半自动化工作流程用于化学数据检索和建模应用程序的质量检查
7. Improving Scalability of Model-Checking for Minimizing Buffer Requirements of Synchronous Dataflow Graphs [O] . 2016

机译：提高模型检查的可扩展性，最大限度地减少同步数据流图的缓冲要求

Scalable and Accurate SMT-Based Model Checking of Data Flow Systems.

摘要

著录项

相似文献

相关主题

期刊订阅