Some approaches to the static analysis of programs

Add to your list(s) Download to your calendar using vCal

• David Monniaux (VERIMAG)
• Wednesday 14 November 2012, 11:00-12:00
• Dennis Gabor Seminar Room (611), EEE Department.

If you have a question about this talk, please contact George A Constantinides.

Static analysis derives properties of programs without executing them. We are particularly interested in sound static analysis : all properties derived by the analyzer should be true. We shall give an overview of some static analysis methods used (bounded model checking, predicate abstraction, abstract interpretation) and their links to other techniques (theorem proving).

This talk is part of the CAS Talks series.

This talk is included in these lists:

• Andrea Picciau's list
• CAS Talks
• COMMSP & CP list
• COMMSP Seminar
• Circuits and Systems Group: Internal Seminars
• Dennis Gabor Seminar Room (611), EEE Department
• Featured talks
• SAP Talks

Note that ex-directory lists are not shown.