Clarify how DbC is done at runtime
Stick JML/BML refs in slide title, like trace slides
Add footnotes for acronyms
Add a citation for monitoring specifications via traces
More consistent layout for trace example
Add small slide on trace monitors
Add a really obvious transition slide to break up static+runtime and rest of concs
Add short summary of example open problems
Drop summary slide
Add citations for static analysis examples