Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings - Chen, Yu-Fang; Chen, Yu-Fang; Cheng, Chih-Hong; Cheng, Chih-Hong; Esparza, Javier; Esparza, Javier (Springer International Publishing : Imprint: Springer, 2019)