首页> 外文OA文献 >Automating regression verification of pointer programs by predicate abstraction

【2h】

Automating regression verification of pointer programs by predicate abstraction

机译：通过谓词抽象自动化指针程序的回归验证

代理获取

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

页面导航

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

著录项

作者
Vladimir Klebanov; Philipp Rümmer; Mattias Ulbrich;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Automating regression verification of pointer programs by predicate abstraction [J] . Vladimir Klebanov, Philipp Rümmer, Mattias Ulbrich Formal Methods in System Design . 2018,第3期

机译：通过谓词抽象自动进行指针程序的回归验证
2. Predicate abstraction and refinement for verifying multi-threaded programs [J] . Gupta Ashutosh, Popeea Corneliu, Rybalchenko Andrey ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2011,第1期

机译：谓词抽象和优化，以验证多线程程序
3. Verification and falsification of programs with loops using predicate abstraction [J] . Daniel Kroening, Georg Weissenbacher Formal Aspects of Computing . 2010,第2期

机译：使用谓词抽象对带有循环的程序进行验证和伪造
4. Automatic Verification of Golog Programs via Predicate Abstraction [C] . Peiming Mo, Naiqi Li, Yongmei Liu European Conference on Artificial Intelligence . 2016

机译：通过谓词抽象自动验证Golog程序
5. Unbounded system verification using decision procedure and predicate abstraction. [D] . Lahiri, Shuvendu K. 2004

机译：使用决策程序和谓词抽象进行无限制的系统验证。
6. An Abstraction-Based Framework for Neural Network Verification [O] . Yizhak Yisrael Elboher, Justin Gottschlich, Guy Katz -1

机译：基于抽象的神经网络验证框架
7. Predicate abstraction and refinement for verifying multi-threaded programs [O] . Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko 2011

机译：谓词抽象和优化，以验证多线程程序

Automating regression verification of pointer programs by predicate abstraction

著录项

引文网络

相似文献

相关主题

期刊订阅