Computer aided verification 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings, part I - Lahiri, Shuvendu K.; Wang, Chao (Springer, 2020)