掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International Conference on Computer Aided Verification
International Conference on Computer Aided Verification
召开年:
2019
召开地:
New Your(US)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Computing Differential Invariants of Hybrid Systems as Fixedpoints
机译:
计算混合系统的差分不变性作为固定点
作者:
Andre Platzer
;
Edmund M. Clarke
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
关键词:
Verification of hybrid systems;
Differential invariants;
Verification logic;
Fixedpoint engine;
2.
Thread Quantification for Concurrent Shape Analysis
机译:
用于并发形状分析的线程量化
作者:
J. Berdine
;
T. Lev-Ami
;
R. Manevich
;
G. Ramalingam
;
M. Sagiv
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
3.
Tutorial on Separation Logic
机译:
分离逻辑的教程
作者:
Peter OHearn
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
4.
Producing Short Counterexamples Using 'Crucial Events'
机译:
使用“至关重要的事件”制造短对抗amples
作者:
Sujatha Kashyap
;
Vijay K. Garg
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
5.
Constraint-Based Approach for Analysis of Hybrid Systems
机译:
基于约束的混合系统分析方法
作者:
Sumit Gulwani
;
Ashish Tiwari
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
6.
Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses
机译:
具有非事务内存访问的事务存储器的机械验证
作者:
Ariel Cohen
;
Amir Pnueli
;
Lenore D. Zuck
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
7.
THOR: A Tool for Reasoning about Shape and Arithmetic
机译:
托尔:一个推理形状和算术的工具
作者:
Stephen Magill
;
Ming-Hsien Tsai
;
Peter Lee
;
Yih-Kuen Tsay
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
8.
The MathSAT 4 SMT Solver
机译:
Mathsat 4 SMT求解器
作者:
Roberto Bruttomesso
;
Alessandro Cimatti
;
Anders Franzen
;
Alberto Griggio
;
Roberto Sebastiani
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
9.
Discriminative Model Checking
机译:
鉴别模型检查
作者:
Peter Niebert
;
Doron Peled
;
Amir Pnueli
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
10.
CSIsat: Interpolation for LA+EUF
机译:
CSISAT:LA + EUF的插值
作者:
Dirk Beyer
;
Damien Zufferey
;
Rupak Majumdar
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
11.
Faster Than UPPAAL? (Tool Paper)
机译:
比UPPAAL快吗? (工具纸)
作者:
Sebastian Kupferschmid
;
Martin Wehrle
;
Bernhard Nebel
;
Andreas Podelski
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
12.
Prover's Palette: A User-Centric Approach to Verification with Isabelle and QEPCAD-B
机译:
Prover的调色板:用伊莎贝尔和Qepcad-B验证的用户为中心的方法
作者:
Laura I. Meikle
;
Jacques D. Fleuriot
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
13.
Local Proofs for Linear-Time Properties of Concurrent Programs
机译:
并发程序的线性时间属性的本地证明
作者:
Ariel Cohen
;
Kedar S. Namjoshi
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
14.
T(O)RMC: A Tool for (ω)-Regular Model Checking
机译:
T(O)RMC:(ω)的工具 - 正模校验
作者:
Axel Legay
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
15.
Producing Short Counterexamples Using 'Crucial Events'
机译:
使用“至关重要的事件”制作短对立体积
作者:
Sujatha Kashyap
;
Vijay K. Garg
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
16.
Effective Program Verification for Relaxed Memory Models
机译:
对轻松内存模型的有效计划验证
作者:
Sebastian Burckhardt
;
Madanlal Musuvathi
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
17.
A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis
机译:
基于表达式抽象和最大运算符的数值抽象域,其在时间分析中的应用
作者:
Bhargav S. Gulavani
;
Sumit Gulwani
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
18.
Abstract Interpretation with Applications to Timing Validation Invited Tutorial
机译:
抽象用应用于计时验证邀请教程的解释
作者:
Reinhard Wilhelm
;
Bjorn Wachter
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
19.
Theorem Proving for Verification
机译:
证明验证的定理
作者:
John Harrison
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
20.
Enhancing Program Verification with Lemmas
机译:
加强与lemmas的节目验证
作者:
Huu Hai Nguyen
;
Wei-Ngan Chin
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
关键词:
Lemma Proving;
Lemma Application;
Program Verification;
Separation Logic;
Entailment;
21.
Correcting a Space-Efficient Simulation Algorithm
机译:
纠正空节空效仿真算法
作者:
Rob van Glabbeek
;
Bas Ploeger
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
22.
Scalable Shape Analysis for Systems Code
机译:
系统代码的可扩展形状分析
作者:
Hongseok Yang
;
Oukseh Lee
;
Josh Berdine
;
Cristiano Calcagno
;
Byron Cook
;
Dino Distefano
;
Peter OHearn
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
23.
Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings
机译:
在拆分运营和放宽排序的存在下减少MPI程序的动态验证
作者:
Sarvani Vakkalanka
;
Ganesh Gopalakrishnan
;
Robert M. Kirby
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
24.
Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems
机译:
将图形次要定理应用于图形转换系统的验证
作者:
Salil Joshi
;
Barbara Konig
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
25.
The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols
机译:
SCYTHER工具:验证,伪造和安全协议分析
作者:
Cas J. F. Cremers
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
26.
Linear Arithmetic with Stars
机译:
线性算术与星
作者:
Ruzica Piskac
;
Viktor Kuncak
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
27.
FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement
机译:
fshell:动态分析和测量系统的系统测试用例
作者:
Andreas Holzer
;
Christian Schallhart
;
Michael Tautschnig
;
Helmut Veith
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
28.
Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations
机译:
线性衍生线(DIS)方程和线性模块化方程的高效蠕变插值
作者:
Himanshu Jain
;
Edmund Clarke
;
Orna Grumberg
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
29.
Jakstab: A Static Analysis Platform for Binaries
机译:
jakstab:二进制文件的静态分析平台
作者:
Johannes Kinder
;
Helmut Veith
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
30.
Monotonic Abstraction for Programs with Dynamic Memory Heaps
机译:
具有动态内存堆的程序的单调抽象
作者:
Parosh Aziz Abdulla
;
Ahmed Bouajjani
;
Jonathan Cederberg
;
Frederic Haziza
;
Ahmed Rezine
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
31.
Ranking Automata and Games for Prioritized Requirements
机译:
为优先考虑排名自动机和游戏
作者:
Rajeev Alur
;
Aditya Kanade
;
Gera Weiss
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
32.
QMC: A Model Checker for Quantum Systems
机译:
QMC:量子系统的模型检查器
作者:
Simon J. Gay
;
Rajagopal Nagarajan
;
Nikolaos Papanikolaou
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
33.
Application of Formal Word-Level Analysis to Constrained Random Simulation
机译:
正式词级分析在约束随机仿真中的应用
作者:
Hyondeuk Kim
;
Hoonsang Jin
;
Kavita Ravi
;
Petr Spacek
;
John Pierce
;
Bob Kurshan
;
Fabio Somenzi
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
34.
Functional Verification of Power Gated Designs by Compositional Reasoning
机译:
作者推理功率门控设计功能验证
作者:
Cindy Eisner
;
Amir Nahir
;
Karen Yorav
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
35.
A Practical Approach to Word Level Model Checking of Industrial Netlists
机译:
工业网师界面模型检查的实用方法
作者:
Per Bjesse
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
36.
Assertion-Based Verification: Industry Myths to Realities
机译:
基于断言的验证:行业神话到现实
作者:
Harry Foster
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
关键词:
Assertion;
Assertion-Based Verification;
Debugging;
Formal Verification;
Functional Verification;
Property Specification;
Simulation;
37.
AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems
机译:
Automotgen:嵌入式控制系统的自动模型导向测试发生器
作者:
Ambar A. Gadkari
;
Anand Yeolekar
;
J. Suresh
;
S. Ramesh
;
Swarup Mohalik
;
K. C. Shashidhar
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
38.
The Barcelogic SMT Solver
机译:
巴塞罗那SMT求解器
作者:
Miquel Bofill
;
Robert Nieuwenhuis
;
Albert Oliveras
;
Enric Rodriguez-Carbonell
;
Albert Rubio
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
39.
Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis
机译:
在涉及顺序分析的上下文下减少并发分析
作者:
Akash Lal
;
Thomas Reps
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
40.
The CASPA Tool: Causality-Based Abstraction for Security Protocol Analysis
机译:
CASPA工具:安全协议分析的因果关系抽象
作者:
Michael Backes
;
Stefan Lorenz
;
Matteo Maffei
;
Kim Pecina
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
41.
Automated Assume-Guarantee Reasoning by Abstraction Refinement
机译:
通过抽象细化自动假设 - 保证推理
作者:
Mihaela Gheorghiu Bobaru
;
Corina S. Pasareanu
;
Dimitra Giannakopoulou
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
42.
Heap Assumptions on Demand
机译:
按需堆的假设
作者:
Andreas Podelski
;
Andrey Rybalchenko
;
Thomas Wies
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
43.
Validating High-Level Synthesis
机译:
验证高级合成
作者:
Sudipta Kundu
;
Sorin Lerner
;
Rajesh Gupta
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
44.
Semi-external LTL Model Checking
机译:
半外部LTL模型检查
作者:
Stefan Edelkamp
;
Peter Sanders
;
Pavel Simecek
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
45.
A Hybrid Type System for Lock-Freedom of Mobile Processes
机译:
一种用于移动进程的锁定自由的混合型系统
作者:
Naoki Kobayashi
;
Davide Sangiorgi
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
46.
Proving Conditional Termination
机译:
证明条件终止
作者:
Byron Cook
;
Sumit Gulwani
;
Tal Lev-Ami
;
Andrey Rybalchenko
;
Mooly Sagiv
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
47.
Implied Set Closure and Its Application to Memory Consistency Verification
机译:
默示的集合及其应用于内存一致性验证
作者:
Surender Baswana
;
Shashank K. Mehta
;
Vishal Powar
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
关键词:
Memory consistency model verification;
Incremental transitive closure;
Total store order;
Shared memory multi-processor;
48.
Probabilistic CEGAR
机译:
概率盲目
作者:
Holger Hermanns
;
Bjorn Wachter
;
Lijun Zhang
会议名称:
《International Conference on Computer Aided Verification》
|
2008年
49.
Generalizing DPLL to Richer Logics
机译:
将DPLL概括为更丰富的逻辑
作者:
Kenneth L. McMillan
;
Andreas Kuehlmann
;
Mooly Sagiv
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
50.
Centaur Technology Media Unit Verification Case Study: Floating-Point Addition
机译:
半人马龙科技媒体单位验证案例研究:浮点加法
作者:
Warren A. Hunt Jr.
;
Sol Swords
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
51.
Intra-module Inference
机译:
模块内推断
作者:
Shuvendu K. Lahiri
;
Shaz Qadeer
;
Juan P. Galeotti
;
Jan W. Voung
;
Thomas Wies
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
52.
Replacing Testing with Formal Verification in Intel Core i7 Processor Execution Engine Validation
机译:
用Intel Core i7处理器执行引擎验证替换测试中的正式验证测试
作者:
Roope Kaivola
;
Rajnish Ghughal
;
Naren Narasimhan
;
Amber Telfer
;
Jesse Whittemore
;
Sudhindra Pandav
;
Anna Slobodova
;
Christopher Taylor
;
Vladimir Frolov
;
Erik Reeber
;
Armaghan Naik
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
53.
Cardinality Abstraction for Declarative Networking Applications
机译:
声明性网络应用的基数抽象
作者:
Juan Antonio Navarro Perez
;
Andrey Rybalchenko
;
Atul Singh
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
54.
Quantifier Elimination via Functional Composition
机译:
量化通过功能组成消除
作者:
Jie-Hong R. Jiang
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
55.
Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic
机译:
BEAVER:为位矢量算术进行高效的SMT求解器
作者:
Susmit Jha
;
Rhishikesh Limaye
;
Sanjit A. Seshia
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
56.
TASS: Timing Analyzer of Scenario-Based Specifications
机译:
Tass:基于场景的规格的时序分析仪
作者:
Minxue Pan
;
Lei Bu
;
Xuandong Li
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
57.
Complete Instantiation for Quantified Formulas in Satisfiability Modulo Theories
机译:
完全实例化在满足性模型理论中的量化公式
作者:
Yeting Ge
;
Leonardo de Moura
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
58.
SPEED: Symbolic Complexity Bound Analysis (Invited Talk)
机译:
速度:符号复杂性绑定分析(邀请谈话)
作者:
Sumit Gulwani
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
59.
Transactional Memory: Glimmer of a Theory (Invited Paper)
机译:
交易记忆:理论的微光(邀请纸)
作者:
Rachid Guerraoui
;
Michal Kapaika
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
60.
Meta-analysis for Atomicity Violations under Nested Locking
机译:
嵌套锁定下的原子性违规的荟萃分析
作者:
Azadeh Farzan
;
P. Madhusudan
;
Francesco Sorrentino
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
61.
An Antichain Algorithm for LTL Realizability
机译:
用于LTL可实现性的AntiChain算法
作者:
Emmanuel Filiot
;
Naiypng Jin
;
Jean-Francois Raskin
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
62.
HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment
机译:
HybridFluctuat:在连续环境中的数值节目的静态分析仪
作者:
Olivier Bouissou
;
Eric Goubault
;
Sylvie Putot
;
Karim Tekkal
;
Franck Vedrine
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
63.
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
机译:
MCMAS:用于验证多智能体系的模型检查器
作者:
Alessio Lomuscio
;
Hongyang Qu
;
Franco Raimondi
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
64.
Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints
机译:
具有树定期约束的前任动态推动网络集
作者:
Peter Lammich
;
Markus Muller-Olm
;
Alexander Wenner
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
65.
Component-Based Construction of Real-Time Systems in BIP
机译:
基于组件的BIP实时系统构造
作者:
Joseph Sifakis
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
66.
Symbolic Counter Abstraction for Concurrent Software
机译:
并发软件的符号计数器抽象
作者:
Gerard Basler
;
Michele Mazzucchi
;
Thomas Wahl
;
Daniel Kroening
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
67.
Priority Scheduling of Distributed Systems Based on Model Checking
机译:
基于模型检查的分布式系统优先调度
作者:
Ananda Basu
;
Saddek Bensalem
;
Doron Peled
;
Joseph Sifakis
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
68.
A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints
机译:
Markov Chain Monte Carlo采样器,用于混合布尔/整数约束
作者:
Nathan Kitchen
;
Andreas Kuehlmann
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
69.
D-Finder: A Tool for Compositional Deadlock Detection and Verification
机译:
D-Finder:一种用于组成死锁检测和验证的工具
作者:
Saddek Bensalem
;
Marius Bozga
;
Thanh-Hung Nguyen
;
Joseph Sifakis
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
70.
Modelling Epigenetic Information Maintenance: A Kappa Tutorial
机译:
建模表观遗传信息维护:kappa教程
作者:
Jean Krivine
;
Vincent Danos
;
Arndt Benecke
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
71.
Sliding Window Abstraction for Infinite Markov Chains
机译:
无限马尔可夫链的滑动窗口抽象
作者:
Thomas A. Henzinger
;
Maria Mateescu
;
Verena Wolf
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
72.
Towards Performance Prediction of Compositional Models in Industrial GALS Designs
机译:
朝着工业GALS设计中的组成模型性能预测
作者:
Nicolas Coste
;
Holger Hermanns
;
Etienne Lantreibecq
;
Wendelin Serwe
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
73.
Automated Analysis of Java Methods for Confidentiality
机译:
机密性Java方法自动分析
作者:
Pavol Cerny
;
Rajeev Alur
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
74.
InvGen: An Efficient Invariant Generator
机译:
Invgen:一个有效的不变发电机
作者:
Ashutosh Gupta
;
Andrey Rybalchenko
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
75.
Size-Change Termination, Monotonicity Constraints and Ranking Functions
机译:
尺寸变化终止,单调约束和排名功能
作者:
Amir M. Ben-Amram
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
76.
On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision Procedure
机译:
使用浮点计算来帮助精确的线性算术决策程序
作者:
David Monniaux
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
77.
Incremental Instance Generation in Local Reasoning
机译:
upirmental实例在本地推理中生成
作者:
Swen Jacobs
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
78.
Games through Nested Fixpoints
机译:
通过嵌套的fixpoints游戏
作者:
Thomas Martin Gawlitza
;
Helmut Seidl
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
79.
Requirements Validation for Hybrid Systems
机译:
混合系统的要求验证
作者:
Alessandro Cimatti
;
Marco Roveri
;
Stefano Tonetta
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
80.
Explaining Counterexamples Using Causality
机译:
使用因果关系解释Entererexamples
作者:
Ilan Beer
;
Shoham Ben-David
;
Hana Chockler
;
Avigail Orni
;
Richard Trefler
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
81.
VS~3: SMT Solvers for Program Verification
机译:
VS〜3:SMT求解程序进行程序验证
作者:
Saurabh Srivastava
;
Sumit Gulwani
;
Jeffrey S. Foster
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
82.
Software Transactional Memory on Relaxed Memory Models
机译:
放松内存模型上的软件交易记忆
作者:
Rachid Guerraoui
;
Thomas A. Henzinger
;
Vasu Singh
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
83.
CALFUZZER: An Extensible Active Testing Framework for Concurrent Programs
机译:
Calfuzzer:并发程序的可扩展主动测试框架
作者:
Pallavi Joshi
;
Mayur Naik
;
Chang-Seo Park
;
Koushik Sen
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
84.
Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique
机译:
单调部分秩序减少:最佳符号偏出技术
作者:
Vineet Kahlon
;
Chao Wang
;
Aarti Gupta
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
85.
PAT: Towards Flexible Verification under Fairness
机译:
PAT:在公平性下灵活核查
作者:
Jun Sun
;
Yang Liu
;
Jin Song Dong
;
Jun Pang
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
86.
The Zonotope Abstract Domain Taylor1+
机译:
Zonotope摘要域Taylor1 +
作者:
Khalil Ghorbal
;
Eric Goubault
;
Sylvie Putot
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
87.
A Concurrent Portfolio Approach to SMT Solving
机译:
SMT求解的并发组合方法
作者:
Christoph M. Wintersteiger
;
Youssef Hamadi
;
Leonardo de Moura
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
88.
Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep
机译:
使用BeepBeep的Web应用程序中的浏览器的执行界面
作者:
Sylvain Halle
;
Roger Villemaire
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
89.
Reducing Context-Bounded Concurrent Reachability to Sequential Reachability
机译:
减少上下文界的并发可达性以顺序可达性
作者:
Salvatore La Torre
;
P. Madhusudan
;
Germaro Parlato
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
90.
Linear Functional Fixed-Points
机译:
线性功能固定点
作者:
Nikolaj Bjorner
;
Joe Hendrix
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
91.
HOMER: A Higher-Order Observational Equivalence Model checkER
机译:
荷马:一个高阶观察等价模型检查器
作者:
David Hopkins
;
C.-H. Luke Ong
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
92.
Automatic Verification of Integer Array Programs
机译:
自动验证整数阵列程序
作者:
Marius Bozga
;
Peter Habermehl
;
Radu Iosif
;
Filip Konecny
;
Tomas Vojnar
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
93.
Reachability Analysis of Hybrid Systems Using Support Functions
机译:
使用支持功能的混合系统可达性分析
作者:
Colas Le Guernic
;
Antoine Girard
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
94.
On Extending Bounded Proofs to Inductive Proofs
机译:
在将有界证据扩展到归纳证明
作者:
Oded Fuhrmann
;
Shlomo Hoory
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
关键词:
Formal verification;
Resolution proofs;
Extending proofs;
Proof simplification;
95.
Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion
机译:
使用Bernstein扩展的多项式动态系统的图像计算
作者:
Thao Dang
;
David Salinas
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
96.
Better Quality in Synthesis through Quantitative Objectives
机译:
通过定量目标合成的更好的质量
作者:
Roderick Bloem
;
Krishnendu Chatterjee
;
Thomas A. Henzinger
;
Barbara Jobstmann
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
97.
Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers
机译:
使用SMT求解器的系统代码中的并发误差的静态和精确检测
作者:
Shuvendu K. Lahiri
;
Shaz Qadeer
;
Zvonimir Rakamaric
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
98.
Translation Validation: From Simulink to C
机译:
翻译验证:从Simulink到C
作者:
Michael Ryabtsev
;
Ofer Strichman
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
99.
Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences
机译:
使用加宽来处理复发的静染术计划的等价检查
作者:
Sven Verdoolaege
;
Gerda Janssens
;
Maurice Bruynooghe
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
100.
Apron: A Library of Numerical Abstract Domains for Static Analysis
机译:
围裙:静态分析的数字抽象域库
作者:
Bertrand Jeannet
;
Antoine Mine
会议名称:
《International Conference on Computer Aided Verification》
|
2009年
意见反馈
回到顶部
回到首页