Talks

List of some recent public talks.

 

Prof. Natasha Sharygina, Tuturial on SMT-based Function Summarization for Software Verification

Facebook Testing and Verification Symposium, London, 2018. [ video starts at 00:47:11 ]

 

Prof. Natasha Sharygina, Tuturial on Symbolic model checking with interpolation and IC3

VMCAI Winter School, New Orleans, Louisiana, 2020. [ slides ]

 

Sepideh Asadi, Incremental Verification by SMT-based Summary Repair

FMCAD 2020. [ short-video | full-video | paper | slides]