software analysis: a roadmap Daniel Jackson & Martin Rinard MIT Laboratory for Computer Science ICSE · Limerick, Ireland · June 7, 2000
analysis zoo
topics
disclaimers
why analysis?
the apple doesn’t fall far from the tree
incrementality
do errors matter?
compositionality
unsoundness
evaluation
symbiosis: models & code
some myths