Computer Aided Verification  - CAV

领  域:  软件工程
主  页:  http://www.cs.utah.edu/cav2011

论文统计图
相关事件


最新的论文更多>>
A Scalable and Nearly Uniform Generator of SAT Witnesses  
Supratik Chakraborty , Meel, Kuldeep S. , Moshe Vardi
Computer Aided Verification  2013
1次引用 0 0
Recursive Program Synthesis  
Aws Albarghouthi , Sumit Gulwani , Zachary Kincaid
Computer Aided Verification  2013
0次引用 0 0
Automating Separation Logic Using SMT  
Ruzica Piskac , Thomas Wies , Damien Zufferey
Computer Aided Verification  2013
0次引用 0 0
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
Programs from proofs: a PCC alternative  
Daniel Wonisch , Alexander Schremmer , Heike Wehrheim
Computer Aided Verification  2013
0次引用 0 0
 录用率: 参会人数: 影响力:
投稿方向:
会议点评
还没有人点评哦
主要作者
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
 
主要概念
Feedback
Feedback
Feedback
我想反馈:
排行榜