Preface for the special issue for ATVA 2015

Bernd Finkbeiner, Geguang Pu, Lijun Zhang
2018 Acta Informatica  
This volume contains extended versions of selected papers presented at ATVA 2015, the 13th International Symposium on Automated Technology for Verification and Analysis, held during October 12-15, 2015, in Shanghai, China. ATVA is an international recognized conference, focusing on theoretical and practical aspects of automated analysis, verification, and synthesis by providing an international forum for interaction among researchers in academia and industry. ATVA 2015 had 95 regular and 13
more » ... submissions, with 33 papers accepted (six of them are tool papers). The program also included three invited talks and three invited tutorials given by Dino Distefano (Facebook and Queen Mary University of London), Martin Fränzle (Carl von Ossietzky University), Joost-Pieter Katoen (RWTH Aachen University), and J Strother Moore (University of Texas at Austin). After the conference, we invited the authors of a selection of the conference papers to submit extended versions for this special issue. The extended versions went through a separate reviewing process. Below we give a short summary for each of the papers of this special issue.
doi:10.1007/s00236-018-0330-0 fatcat:g7gcqdqihzfixbycj2xaybc63q