Talks

Recent public talks








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 - lab, HiFrog Bounded Model Checker