@article{938932,
      note = {Includes author index.},
      author = {Lahiri, Shuvendu, and Wang, Chao,},
      url = {http://library.usi.edu/record/938932},
      title = {Computer aided verification : 32nd international  conference, CAV 2020, Los Angeles, CA, USA, July 21-24,  2020 : proceedings., Part II /. CAV (Conference)},
      abstract = {The open access two-volume set LNCS 12224 and 12225  constitutes the refereed proceedings of the 32st  International Conference on Computer Aided Verification,  CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The  43 full papers presented together with 18 tool papers and 4  case studies, were carefully reviewed and selected from 240  submissions. The papers were organized in the following  topical sections: Part I: AI verification; blockchain and  Security; Concurrency; hardware verification and decision  procedures; and hybrid and dynamic systems. Part II: model  checking; software verification; stochastic systems; and  synthesis. *The conference was held virtually due to the  COVID-19 pandemic.},
      doi = {https://doi.org/10.1007/978-3-030-53291-8},
      recid = {938932},
      pages = {1 online resource.},
}