E0 327 Topics in Program Analysis
- 10am on Fridays.
Meet link for
- First class at 10am on Fri 6th August 2021.
We will discuss selected papers (listed below) on different techniques for
verifying programs, broadly classified as
- Proof+Counterexample techniques,
- Invariant inference techniques
- Techniques for reasoning about array-based programs.