Towards Tackling Application Logic Flaws through Autonomous Formal-Logic Modeling and Automated Reasoning

Yiwei Fang, Yichen Liu, Ze Jin +3

Logic flaws pose significant challenges in the design and implementation of modern, semantically rich systems and applications, impacting security, privacy, and trust. These flaws…