133
click to vote
VMCAI
2016
Springer
10 years 11 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
click to vote
VMCAI
2016
Springer
10 years 11 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
click to vote
VMCAI
2016
Springer
10 years 11 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...
222
click to vote
VMCAI
2016
Springer
10 years 11 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
click to vote
VMCAI
2016
Springer
10 years 11 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...