Talks

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 ]
Antti E. J. Hyvärinen, Lookahead in Partitioning SMT, FMCAD 2021[ paper ]
Talk at FMCAD 2021 [ video | slides ]
Rodrigo Otoni, Theory-Specific Proof Steps Witnessing Correctness of SMT Executions, DAC 2021 [ paper ]
Talk at SMT 2021 [ video | 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 ]
Updated talk at TPBC 2021 [ video | slides ]
Sepideh Asadi, Farkas-Based Tree-Interpolation, SAS 2020 [ 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 ]
SMT-streamlined Software Model Checking (Prof. Natasha Sharygina), part 2 [ Video]
SMT-streamlined Software Model Checking (Prof. Natasha Sharygina), part 3 [ video ]
SMT-streamlined Software Model Checking (Prof. Natasha Sharygina), part 4 [ Video]
 
 






SMT-streamlined Software Model Checking - lab, HiFrog Bounded Model Checker


HiFrog Bounded Model Checker - lab1 [ video ]
UpProver Bounded Model Checker for program versions- lab2 [ video ]