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ärinen1, 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 ]