Recent public talks
Prof. Natasha Sharygina, Tutorial on SMT-based Function Summarization for Software Verification Facebook Testing and Verification Symposium, London, 2018
[ video starts at 00:47:11 ]
[ video starts at 00:47:11 ]
Sepideh Asadi, Incremental Verification by SMT-based Summary Repair
FMCAD 2020
[ short-video | full-video | paper | slides]
FMCAD 2020
[ short-video | full-video | paper | slides]
SMT-streamlined Software Model Checking (Prof. Natasha Sharygina) at the Tenth SRI Summer School, Stanford University, 2021 on Formal Techniques
SMT-streamlined Software Model Checking (Prof. Natasha Sharygina), part 1
[ video ]
[ video ]
SMT-streamlined Software Model Checking (Prof. Natasha Sharygina), part 2
[ Video]
[ Video]
SMT-streamlined Software Model Checking (Prof. Natasha Sharygina), part 3
[ video ]
[ video ]
SMT-streamlined Software Model Checking (Prof. Natasha Sharygina), part 4
[ Video]
[ Video]
SMT-streamlined Software Model Checking - lab, HiFrog Bounded Model Checker
HiFrog Bounded Model Checker - lab1
[ video ]
[ video ]
UpProver Bounded Model Checker for program versions- lab2
[ video ]
[ video ]