software analysis: a roadmapDaniel Jackson & Martin RinardMIT Laboratory for Computer ScienceICSE · Limerick, Ireland · June 7, 2000

Table of Contents

software analysis: a roadmapDaniel Jackson & Martin RinardMIT Laboratory for Computer ScienceICSE · 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

Email: dnj@lcs.mit.edu

Home Page: http://sdg.lcs.mit.edu/~dnj

Download presentation source