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]
Rodrigo Otoni, Accurate Smart Contract Verification through Direct Modelling
ISoLA 2020. [ video | paper | slides ]
Sepideh Asadi, Farkas-Based Tree-Interpolation,
