首页> 外文OA文献 >Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks

【2h】

Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks

机译：金融模型检查竞赛2014年：模型跳棋和基准的分析与比较

代理获取

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

页面导航

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

著录项

作者
Gianpiero Cabodi; Carmelo Loiacono; Marco Palena; Paolo Pasini; Denis Patti; Stefano Quer; Danilo Vendraminetto; Armin Biere; Keijo Heljanko;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks [J] . Cabodi Gianpiero, Loiacono Carmelo, Palenarco, Journal on Satisfiability, Boolean Modeling and Computation . 2014,第1期

机译：2014年硬件模型检查竞赛：模型检查器和基准的分析与比较
2. Hardware Model Checking Competition 2014: An Analysis and Comparison of Solvers and Benchmarks [J] . Gianpiero Cabodi, Carmelo Loiacono, Marco Palena, Journal on Satisfiability, Boolean Modeling and Computation . 2016,第1期

机译：2014年硬件模型检查竞赛：求解器和基准测试的分析与比较
3. The RAMI On-line Model Checker (ROMC): A web-based benchmarking facility for canopy reflectance models [J] . Widlowski JL, Robustelli M, Disney M, Remote Sensing of Environment: An Interdisciplinary Journal . 2008,第3期

机译：RAMI在线模型检查器（ROMC）：基于Web的树冠反射模型基准测试工具
4. Hardware Model Checking Competition CAV 2014 Edition [C] . Armin Biere, Keijo Heljanko Computer aided verification . 2014

机译：硬件模型检查竞赛CAV 2014版
5. Software model-checking: Benchmarking and techniques for buffer overflow analysis [D] . Ku, Kelvin 2008

机译：软件模型检查：缓冲区溢出分析的基准测试和技术
6. Antelope: a hybrid-logic model checker for branching-time Boolean GRN analysis [O] . Gustavo Arellano, Julián Argil, Eugenio Azpeitia, 2011

机译：羚羊：用于分支时间布尔GRN分析的混合逻辑模型检查器
7. The RAMI On-line Model Checker (ROMC): A web-based benchmarking facility for canopy reflectance models [O] . Widlowski J.-L., Robustelli M., Disney M., 2008

机译：RAMI在线模型检查器（ROMC）：基于Web的树冠反射模型基准测试工具
8. Comparison of Homogeneous CFD Fuel Models for Phase I of the IAEA CRP on HTR Uncertainties Benchmark, ICAPP 2014. [R] . Yoon, S. J., Strydom, G. 2014

机译：国际原子能机构CRp第一阶段均质CFD燃料模型在HTR不确定性基准上的比较，ICapp 2014。

Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks

著录项

引文网络

相似文献

相关主题

期刊订阅