Verification, Model Checking and Abstract Interpretation  - VMCAI

领  域:  软件工程

论文统计图
最新的论文更多>>
Widening for Control-Flow  
Ben Hardekopf , Ben Wiedermann , Berkeley R. Churchill , Vineeth Kashyap
Verification, Model Checking and Abstract Interpretation  2014
0次引用 0 0
Relational Thread-Modular Static Value Analysis by Abstract Interpretation  
Antoine Mine
Verification, Model Checking and Abstract Interpretation  2014
0次引用 0 0
Parameterized Model Checking of Token-Passing Systems  
Benjamin Aminof , Swen Jacobs , Ayrat Khalimov , Sasha Rubin
Verification, Model Checking and Abstract Interpretation  2014
0次引用 0 0
Weakest Precondition Synthesis for Compiler Optimizations  
Nuno P. Lopes , Jose C. Monteiro
Verification, Model Checking and Abstract Interpretation  2014
0次引用 0 0
Synthesis for Polynomial Lasso Programs  
Jan Leike , Ashish Tiwari
Verification, Model Checking and Abstract Interpretation  2014
0次引用 0 0
 录用率: 参会人数: 影响力:
投稿方向:
会议点评
还没有人点评哦
主要作者
Amir Pnueli
Weizmann Institute of Science
 
Daniel Kroening
ETH Zurich
 
Thomas Wies
Institute of Science and Technology Austria
 
Andreas Podelski
Univ. of Freiburg, Freiburg, Germany
 
Viktor Kuncak
EPFL, Lausanne, Vaud, Switzerland
 
主要概念
Feedback
Feedback
Feedback
我想反馈:
排行榜