Annotation Inference for Modular Formal Software Verification KU Leuven
Modular formal verification promises to enable software development teams to deliver software with
higher assurance of security, safety, and correctness at lower cost. However, in the current state of the art this is
hampered by the high effort required to author formal specifications and proof hints. I will perform
research into algorithms and techniques for reducing the user effort required to apply formal modular ...