@article{1434232,
      note = {Includes author index.},
      author = {Henglein, Fritz, and Shoham, Sharon, and Vizel, Yakir,},
      url = {http://library.usi.edu/record/1434232},
      title = {Verification, model checking, and abstract interpretation  : 22nd International Conference, VMCAI 2021, Copenhagen,  Denmark, January 17-19, 2021, proceedings /. VMCAI  (Conference)},
      abstract = {This book constitutes the proceedings of the 22nd  International Conference on Verification, Model Checking,  and Abstract Interpretation, VMCAI 2021, which was held  virtually during January 17-19, 2021. The conference was  planned to take place in Copenhagen, Denmark, but changed  to an online event due to the COVID-19 pandemic. The 23  papers presented in this volume were carefully reviewed  from 48 submissions. VMCAI provides a forum for researchers  working on verification, model checking, and abstract  interpretation and facilitates interaction,  cross-fertilization, and advancement of hybrid methods that  combine these and related areas. The papers presented in  this volume were organized in the following topical  sections: hyperproperties and infinite-state systems;  concurrent and distributed systems; checking; synthesis and  repair; applications; and decision procedures.},
      doi = {https://doi.org/10.1007/978-3-030-67067-2},
      recid = {1434232},
      pages = {1 online resource (xv, 604 pages) :},
}