首页> 外文OA文献 >Automated compositional abstraction refinement for concurrent C programs: A two-level approach

【2h】

Automated compositional abstraction refinement for concurrent C programs: A two-level approach

机译：并发C程序的自动化组成抽象提纯：一种两层方法

代理获取

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

页面导航

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

著录项

作者
Sagar Chaki, Joël Ouaknine; Karen Yorav; Edmund Clarke;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Counterexample-guided abstraction refinement for symmetric concurrent programs [J] . Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Formal Methods in System Design . 2012,第1期

机译：对称并发程序的反例指导的抽象优化
2. Accelerating American College of Surgeons-National Surgical Quality Improvement Program Surgical Site Infection Abstraction with a Semi-Automated Approach [J] . Skube Steven J., Hu Zhen, Simon Gyorgy J., Journal of the American College of Surgeons . 2017,第4Suppla1期

机译：加速美国外科医院 - 国家外科素质改善计划外科遗址采用半自动方法的感染抽象
3. Accelerating American College of Surgeons-National Surgical Quality Improvement Program Surgical Site Infection Abstraction with a Semi-Automated Approach [J] . Skube Steven J., Hu Zhen, Simon Gyorgy J., Journal of the American College of Surgeons . 2017,第4Suppla1期

机译：加速美国外科医院 - 国家外科素质改善计划外科遗址采用半自动方法的感染抽象
4. Compositional Abstraction for Concurrent Programs [C] . Junyan Qian, Baowen Xu International Conference on Software Engineering Research and Practice . 2006

机译：并发计划的组成抽象
5. A counterexample guided abstraction refinement framework for verifying concurrent C programs. [D] . Chaki, Sagar J. 2005

机译：一个反例指导抽象精炼框架，用于验证并发C程序。
6. A deep learning approach to automate refinement of somatic variant calling from cancer sequencing data [O] . Benjamin J. Ainscough, Erica K. Barnell, Peter Ronning, -1

机译：一种从癌症测序数据中自动优化体细胞变异调用的深度学习方法
7. Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach [O] . Chaki Sagar, Ouaknine Joël, Yorav Karen, 2003

机译：并发C程序的自动合成抽象提纯：一种两层方法
8. Counterexample Guided Abstraction Refinement Framework for Verifying Concurrent C Programs [R] . Chaki, S. J. 2005

机译：用于验证并发C程序的反例引导式抽象细化框架

Automated compositional abstraction refinement for concurrent C programs: A two-level approach

著录项

引文网络

相似文献

相关主题

期刊订阅