Presentations

 
Date Presenter TitleSlides
March 3 Wallace Wu SAT-based model checkingBMC
March 10 Vajih Montaghami Component-based Verification
March 10 Sina Gholamian Assume-guarantee reasoning
March 10 Aayush Prakash Learning automata
March 17 Ben Lin Predicate abstraction
March 17 Sandy Beidu Counterexample guided abstraction refinement
March 24 Johnson Thomas LTL Runtime Verification
March 24 Leonardo Passos Tableau-based CTL synthesis
March 31 Marko Novakovic Controller synthesis
March 31 Chirag Ravishankar Automated Program Revision