Analyis And Verification of
Software
AA 2010/'11
prof.
A. Cortesi
Reference books
- F.Nielson, H.R.Nielson, C. Hankin:
Principles of Program Analysis, Springer Verlag, 2004
- B.Berard et al., Systems and Software
Verifications. Springer Verlag 2001.
Lecture notes
- (30.01.2012) Introduction (pdf)
- (03.02.2012) Program Optimizations (pdf) - (Homework 1)
- (06.02.2012) Dataflow Analysis: Reaching Definitions(pdf)
This is the link to the wiki (reserved access).
Internet Resources