Formal Methods

Research Frontiers in Deductive Verification of Pointer-Based Data Structures

Development of formal proof techniques for verifying correctness properties of complex pointer-manipulating programs using separation logic and permission systems.

All Formal Methods PhD categories