Talks


List of some 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