The Role of Abstract Interpretation in Formal Methods | IEEE Conference Publication | IEEE Xplore