October 23, 2019October 23, 2019 bqcuong International Symposium on Automated Technology for Verification and Analysis (ATVA) – October 2020, Hanoi, Vietnam