首页> 外文OA文献 >Monotonic Abstraction Techniques: from Parametric to Software Model Checking

【2h】

Monotonic Abstraction Techniques: from Parametric to Software Model Checking

机译：单调抽象技术：从参数到软件模型检查

代理获取

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

页面导航

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

著录项

作者
M. M. Bersani; Francesco Alberti; Silvio Ghilardi; Natasha Sharygina;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Model-Checking Techniques for Linear Models With Parametric Variance Functions [J] . Patrick G. ARBOGAST, Edward J. BEDRICK Technometrics . 2004,第4期

机译：具有参数方差函数的线性模型的模型检查技术
2. Combining predicate and numeric abstraction for software model checking [J] . Arie Gurfinkel, Sagar Chaki International Journal on Software Tools for Technology Transfer . 2010,第6期

机译：结合谓词和数字抽象进行软件模型检查
3. Abstraction, Model Checking and Software Correctness [J] . Peter B. Henderson SIGCSE bulletin . 2008,第2期

机译：抽象，模型检查和软件正确性
4. Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking [C] . R. Gentilini, K. Schneider, B. Mishra International Symposium on Logical Foundations of Computer Science(LFCS 2007); 20070604-07; New York,NY(US) . 2007

机译：用于单调CTL模型检查的混合自动机的连续抽象
5. Software model-checking: Benchmarking and techniques for buffer overflow analysis [D] . Ku, Kelvin 2008

机译：软件模型检查：缓冲区溢出分析的基准测试和技术
6. Model Checking Techniques for Assessing Functional Form Specifications in Censored Linear Regression Models [O] . Larry F. León, Tianxi Cai -1

机译：模型检测技术在截尾线性回归模型评估函数形式规格
7. Monotonic Abstraction Techniques: from Parametric to Software Model Checking [O] . Francesco Alberti, Silvio Ghilardi, Natasha Sharygina 2014

机译：单调抽象技术：从参数到软件模型检查
8. Program Analysis Techniques for Efficient Software Model Checking. [R] . Boyapati, C., Sakallah, K. 2011

机译：高效软件模型检测的程序分析技术。

Monotonic Abstraction Techniques: from Parametric to Software Model Checking

著录项

引文网络

相似文献

相关主题

期刊订阅