Program Analysis & Verification

We also examine rigorous approaches for ensuring that software behaves as intended. This work combines both formal verification methods as well as dynamic approaches such as fuzzing to identify defects.