Haowei Liang, Chunyan Hou, Jinsong Wang, Chen Chen. Software Safety Verification Framework based on Predicate Abstraction. In IEEE 45th Annual Computers, Software, and Applications Conference, COMPSAC 2021, Madrid, Spain, July 12-16, 2021. pages 1327-1332, IEEE, 2021. [doi]
Abstract is missing.