学术社交
学术应用
开放平台
注册
|
登录
邮箱
密码
验证码
换一下
自动登录
忘记密码?
使用其它帐号登录
登录或注册
邮箱:
密码:
验证码:
换一下
自动登录
忘记密码?
使用其它帐号登录
为什么使用第三方帐号?
讨厌烦人的注册表单,经常忘了用户名和密码,我有第三方帐号,我喜欢通用的帐号,这样很安全。
想用独立的帐号,还未开通?
赶快免费注册一个吧!
Computer Aided Verification - CAV
领 域: 软件工程
主 页:
http://www.cs.utah.edu/cav2011
论文统计图
相关事件
CAV 2012 : 24th International Conference on Computer Aided Verification
CAV 2011 : 23rd International Conference on Computer Aided Verification
CAV 2010 : 22nd International Conference on Computer Aided Verification
最新的论文
更多>>
A Scalable and Nearly Uniform Generator of SAT Witnesses
Supratik Chakraborty
,
Meel,
Kuldeep S.
,
Moshe Vardi
Computer Aided Verification
2013
1次引用
0
0
0
0
保 存
限8个标签,单个标签英文限20个字符,中文限10个字符
分 享
取 消
Recursive Program Synthesis
Aws Albarghouthi
,
Sumit Gulwani
,
Zachary Kincaid
Computer Aided Verification
2013
0次引用
0
0
0
0
保 存
限8个标签,单个标签英文限20个字符,中文限10个字符
分 享
取 消
Automating Separation Logic Using SMT
Ruzica Piskac
,
Thomas Wies
,
Damien Zufferey
Computer Aided Verification
2013
0次引用
0
0
0
0
保 存
限8个标签,单个标签英文限20个字符,中文限10个字符
分 享
取 消
DiVinE 3.0: an explicit-state model checker for multithreaded c & c++ programs
Jiri Barnat
,
Lubos Brim
,
Vojtěch Havel
,
Jan Havlíček
,
Jan Kriho
,
Milan Lenčo
,
Petr Ročkai
,
Vladimír Štill
,
Jiří Weiser
Computer Aided Verification
2013
0次引用
0
0
0
0
保 存
限8个标签,单个标签英文限20个字符,中文限10个字符
分 享
取 消
Programs from proofs: a PCC alternative
Daniel Wonisch
,
Alexander Schremmer
,
Heike Wehrheim
Computer Aided Verification
2013
0次引用
0
0
0
0
保 存
限8个标签,单个标签英文限20个字符,中文限10个字符
分 享
取 消
评论(
0
)
录用率:
10%以下
10%-20%
20%-30%
30%-40%
40%-50%
50%-60%
60%-70%
70%-80%
80%-90%
90%-100%
参会人数:
100以下
100-200
200-300
300-400
400-500
500-600
600-700
700-800
800-900
900-1000
1000+
影响力:
A
B
C
投稿方向:
投稿经验:
1360
论文
32369
引用
133
G-Index
84
H-Index
会议点评
还没有人点评哦
主要作者
Thomas A. Henzinger
IST Austria, Klosterneuburg, Austria
David L. Dill
Stanford University
Moshe Vardi
Rice University
Rajeev Alur
University of Pennsylvania
Edmund M. Clarke
Carnegie Mellon University
主要概念
Transition Systems
Hybrid System
Model Checking
Temporal Logic
reachability analysis
State Space
Concurrent Programs
Bounded Model Checking
Safety Properties
Predicate Abstraction
Concurrent Systems
Satisfiability
Theorem Prover
Automatic Verification
Timed Automata
Formal Verification
Theorem Proving
State Explosion
Symbolic Model Checking
Decision Procedure
COPYRIGHT © 2013 Powered By GOLAXY 中国科学院计算技术研究所 天玑团队
我想反馈:
问题
点子
排行榜