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
URL: http://science.mq.edu.au/~fcassez/
Abstract
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.
