Seminar - Static analysis: finding bugs or building correctness proofs
School of Engineering and Computer Science Seminar
Speaker: Franck Cassez (Macquarie University, Australia)
Time: Tuesday 11th December 2018 at 11:00 AM - 12:00 PM
Location: Cotton Club, Cotton 350
In this talk, I'll discuss some automatic program verification techniques. I will present the trace abstraction refinement technique and how it can help in designing scalable static analysis tools. I will also address the challenges of building counter-examples and correctness proofs.