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

Add to Calendar Add to your calendar


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.

Go backGo back to the seminar list