首页> 外文OA文献 >Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution)

【2h】

Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution)

机译：Gazer-Theta：基于LLVM的验证者投资组合，BMC / CEGAR（竞争贡献）

代理获取

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

页面导航

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

著录项

作者
Zsófia Ádám; Gyula Sallai; Ákos Hajdu;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Two CEGAR-based approaches for the safety verification of PLC-controlled plants [J] . Nellen Johanna, Driessen Kai, Neuhaeusser Martin, Information systems frontiers . 2016,第5期

机译：两种基于CEGAR的方法对PLC控制的工厂进行安全验证
2. ESBMC-GPU A context-bounded model checking tool to verify CUDA programs [J] . Felipe R. Monteiro, Erickson H. da S. Alves, Isabela S. Silva, Science of Computer Programming . 2018,第jana15期

机译：ESBMC-GPU一个上下文关联的模型检查工具，用于验证CUDA程序
3. A systematic verification of behavioral consistency between FBD design and ANSI-C implementation using HW-CBMC [J] . Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee Reliability Engineering & System Safety . 2013,第deca期

机译：使用HW-CBMC对FBD设计与ANSI-C实现之间的行为一致性进行系统验证
4. Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution) [C] . Zsofia Adam, Gyula Sallai, Akos Hajdu European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems . 2021

机译：Gazer -Theta：基于LLVM的验证者投资组合，BMC / CEGAR（竞争贡献）
5. Audit Market Competition and Client Portfolio Risk [D] . Jang, Daun. 2019

机译：审计市场竞争和客户组合风险
6. Inaugural BMC Ecology and Evolution image competition: the winning images [O] . Jennifer L. Harman, Alison L. Cuff, Josef Settele, 2021

机译：就职BMC生态和演化图像竞争：获奖的图像
7. Constrained Monotonic Abstraction: a CEGAR for Parameterized Verification [O] . Parosh Aziz Abdulla, Yu-fang Chen, Giorgio Delzanno, 2010

机译：约束单调抽象：参数化验证的CEGaR

Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution)

著录项

引文网络

相似文献

相关主题

期刊订阅