119
Voted
VMCAI
2016
Springer
10 years 17 days ago
2016
Springer
140
Voted
VMCAI
2016
Springer
10 years 17 days ago
2016
Springer
Abstract. We describe a simple, but powerful, program logic for reasoning about C11 relaxed accesses used in conjunction with release and acquire memory fences. Our logic, called f...
130
Voted
VMCAI
2016
Springer
10 years 17 days ago
2016
Springer
ion-driven Concolic Testing‹ Przemyslaw Daca1 , Ashutosh Gupta2 , and Thomas A. Henzinger1 1 IST Austria, Austria 2 Tata Institute for Fundamental Research, India Concolic testin...
134
Voted
VMCAI
2016
Springer
10 years 17 days ago
2016
Springer
Directed Abstract Interpretation Noam Rinetzky1 and Sharon Shoham2 1 Tel Aviv University, Israel 2 The Academic College of Tel Aviv Yaffo, Israel Recently, Bradley proposed the PDR...
132
Voted
VMCAI
2016
Springer
10 years 17 days ago
2016
Springer
Three variants of multi-threaded ic3 are presented. Each variant has a fixed number of ic3s running in parallel, and communicating by sharing lemmas. They differ in the degree of...
129
Voted
VMCAI
2016
Springer
10 years 17 days ago
2016
Springer
An important component of efficient approaches to software model checking and systematic concurrency testing is partial order reduction, which eliminates redundant non-determinist...
224
Voted
VMCAI
2016
Springer
10 years 17 days ago
2016
Springer
ng Abstract Interpretation Thomas Reps1,2 and Aditya Thakur3 1 University of Wisconsin; Madison, WI, USA 2 GrammaTech, Inc.; Ithaca, NY, USA 3 Google, Inc.; Mountain View, CA USA A...
127
Voted
VMCAI
2016
Springer
10 years 17 days ago
2016
Springer
Symmetry reduction is a well-known approach for alleviating the state explosion problem in model checking. Automatically identifying symmetries in concurrent systems, however, is c...
115
Voted
VMCAI
2016
Springer
10 years 17 days ago
2016
Springer
121
Voted
VMCAI
2016
Springer
10 years 17 days ago
2016
Springer
This paper presents a method for generating semi-algebraic invariants for systems governed by non-linear polynomial ordinary differential equations under semi-algebraic evolution c...