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