presented at event 18th International Symposium on Automated Technology for Verification and Analysis (ATVA) Conference