首页>外文会议>其他>International Workshop on Verification Model Checking, and Abstract Interpretation

International Workshop on Verification Model Checking, and Abstract Interpretation

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Don't Know in the μ-Calculus

机译：不知道在μ微积分中
- 作者：Orna Grumberg;Martin Lange;Martin Leucker;Sharon Shoham
- 会议名称：《International Workshop on Verification Model Checking, and Abstract Interpretation》 | 2005年
2.Information Flow Analysis for Java Bytecode

机译：Java字节码的信息流分析
- 作者：Samir Genaim;Fausto Spotox
- 会议名称：《International Workshop on Verification Model Checking, and Abstract Interpretation》 | 2005年
3.Optimizing Bounded Model Checking for Linear Hybrid Systems

机译：用于线性混合系统的优化界限模型检查
- 作者：Erika Abraham;Bernd Becker;Felix Klaedtke;Martin Steffen
- 会议名称：《International Workshop on Verification Model Checking, and Abstract Interpretation》 | 2005年
4.Automata as Abstractions

机译：自动机作为抽象
- 作者：Dennis Dams;Kedar S. Namjoshi
- 会议名称：《International Workshop on Verification Model Checking, and Abstract Interpretation》 | 2005年
5.On the Complexity of Error Explanation

机译：关于错误解释的复杂性
- 作者：Nirman Kumar;Viraj Kumar;Mahesh Viswanathan
- 会议名称：《International Workshop on Verification Model Checking, and Abstract Interpretation》 | 2005年
6.Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs

机译：逐步解释同步程序的准同步组成的静态分析
- 作者：Julien Bertrane
- 会议名称：《International Workshop on Verification Model Checking, and Abstract Interpretation》 | 2005年
7.Weak Automata for the Linear Time μ-Calculus

机译：线性时间μ-微积分的弱自动机
- 作者：Martin Lange
- 会议名称：《International Workshop on Verification Model Checking, and Abstract Interpretation》 | 2005年
8.Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists

机译：谓词抽象和单键列表的规范抽象
- 作者：Roman Manevich;E. Yahav;G. Ramalingam;Mooly Sagiv
- 会议名称：《International Workshop on Verification Model Checking, and Abstract Interpretation》 | 2005年
9.An Overview of Semantics for the Validation of Numerical Programs

机译：数字计划验证的语义概述
- 作者：Matthieu Martel
- 会议名称：《International Workshop on Verification Model Checking, and Abstract Interpretation》 | 2005年
10.Model Checking for Process Rewrite Systems and a Class of Action-Based Regular Properties

机译：用于过程重写系统的模型检查和基于动作的常规属性
- 作者：Laura Bozzelli
- 会议名称：《International Workshop on Verification Model Checking, and Abstract Interpretation》 | 2005年
11.Dipartimento di Informatica, Università di Verona, Strada Le Grazie, 15, 37134 Verona, Italy

机译：维罗纳大学计算机科学系，37134维罗纳，意大利
- 作者：Jean Goubault-Larrecq;Fabrice Parrennes
- 会议名称：《International Workshop on Verification Model Checking, and Abstract Interpretation》 | 2005年
12.Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming

机译：通过参数抽象，拉格朗日放松和Semidefinite编程证明计划不变性和终止
- 作者：Patrick Cousot
- 会议名称：《International Workshop on Verification Model Checking, and Abstract Interpretation》 | 2005年
13.Purity and Side Effect Analysis for Java Programs

机译：Java程序的纯度和副作用分析
- 作者：Alexandru Salcianu;Martin Rinard
- 会议名称：《International Workshop on Verification Model Checking, and Abstract Interpretation》 | 2005年
14.The Arithmetic-Geometric Progression Abstract Domain

机译：算术几何进展摘要域
- 作者：Jerome Feret
- 会议名称：《International Workshop on Verification Model Checking, and Abstract Interpretation》 | 2005年
- Abstract Interpretation;
- static analysis;
- numerical domains;
15.Minimizing Counterexample with Unit Core Extraction and Incremental SAT

机译：用单元核心提取和增量SAT最小化ConderErexample
- 作者：ShengYu Shen;Ying Qin;SiKun Li
- 会议名称：《International Workshop on Verification Model Checking, and Abstract Interpretation》 | 2005年
16.Abstract Interpretation with Alien Expressions and Heap Structures

机译：用外星表达和堆结构的抽象解释
- 作者：Bor-Yuh Evan Chang;K. Rustan M. Leino
- 会议名称：《International Workshop on Verification Model Checking, and Abstract Interpretation》 | 2005年
17.Simple Is Better: Efficient Bounded Model Checking for Past LTL

机译：简单更好：过去LTL的高效有限模型检查
- 作者：Timo Latvala;Armin Biere;Keijo Heljanko;Tommi Junttila
- 会议名称：《International Workshop on Verification Model Checking, and Abstract Interpretation》 | 2005年
- bounded model checking;
- past LTL;
- NuSMV;
18.Checking Herbrand Equalities and Beyond

机译：检查Herbrand等于及以后
- 作者：Markus Mueller-Olm;Oliver Ruething;Helmut Seidl
- 会议名称：《International Workshop on Verification Model Checking, and Abstract Interpretation》 | 2005年
19.Generalized Typestate Checking for Data Structure Consistency

机译：概括的Typestate检查数据结构一致性
- 作者：Patrick Lam;Viktor Kuncak;Martin Rinard
- 会议名称：《International Workshop on Verification Model Checking, and Abstract Interpretation》 | 2005年
20.Efficient Verification of Halting Properties for MPI Programs with Wildcard Receives

机译：使用通配符收到MPI程序的暂停性能的高效验证
- 作者：Stephen F. Siegel
- 会议名称：《International Workshop on Verification Model Checking, and Abstract Interpretation》 | 2005年
21.Termination of Polynomial Programs

机译：终止多项式计划
- 作者：Aaron R. Bradley;Zohar Manna;Henny B. Sipma
- 会议名称：《International Workshop on Verification Model Checking, and Abstract Interpretation》 | 2005年
22.Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs

机译：有效可验证的致命条件 - 大型并发计划的自由
- 作者：Paul C. Attie;Hana Chockler
- 会议名称：《International Workshop on Verification Model Checking, and Abstract Interpretation》 | 2005年
23.Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement

机译：通过参数化学改进验证令牌相干性实施的安全性
- 作者：Sebastian Burckhardt;Rajeev Alur;Milo M.K. Martin
- 会议名称：《International Workshop on Verification Model Checking, and Abstract Interpretation》 | 2005年
24.Model Checking of Systems Employing Commutative Functions

机译：采用换向功能的系统模型检查
- 作者：A. Prasad Sistla;Min Zhou;Xiaodong Wang
- 会议名称：《International Workshop on Verification Model Checking, and Abstract Interpretation》 | 2005年
25.Cryptographic Protocol Analysis on Real C Code

机译：Real C代码上的加密协议分析
- 作者：Jean Goubault-Larrecq;Fabrice Parrennes
- 会议名称：《International Workshop on Verification Model Checking, and Abstract Interpretation》 | 2005年
26.Shape Analysis by Predicate Abstraction

机译：通过谓词抽象形状分析
- 作者：Ittai Balaban;Amir Pnueli;Lenore D. Zuck
- 会议名称：《International Workshop on Verification Model Checking, and Abstract Interpretation》 | 2005年
27.I/O Efficient Directed Model Checking

机译：I / O高效的定向模型检查
- 作者：Shahid Jabbar;Stefan Edelkamp
- 会议名称：《International Workshop on Verification Model Checking, and Abstract Interpretation》 | 2005年
28.The Arithmetic-Geometric Progression

机译：算术几何进展
- 作者：Jerome Feret
- 会议名称：《International Workshop on Verification Model Checking, and Abstract Interpretation》 | 2005年
- Abstract Interpretation;
- Static analysis;
- Numerical domains;
29.Scalable Analysis of Linear Systems Using Mathematical Programming

机译：使用数学规划线性系统的可扩展分析
- 作者：Sriram Sankaranarayanan;Henny B. Sipma;Zohar Manna
- 会议名称：《International Workshop on Verification Model Checking, and Abstract Interpretation》 | 2005年
30.Verification of an Error Correcting Code by Abstract Interpretation

机译：通过抽象解释验证错误纠正码
- 作者：Charles Hymans
- 会议名称：《International Workshop on Verification Model Checking, and Abstract Interpretation》 | 2005年