Skip to content

History

Versions 15

Version Author Diff Last updated
v15 akwizgran
Reformat report for PDF conversion.
v14 akwizgran
More future work.
v13 akwizgran
Promote static contact graphs section.
v12 akwizgran
Add conclusions.
v11 akwizgran
Change nesting of sections.
v10 akwizgran
Add dynamic reachability analysis for looped data.
v9 akwizgran
Fix typos.
v8 akwizgran
Add more explanation about the contact graph example.
v7 akwizgran
Subscript tags don't work in preformatted text.
v6 akwizgran
Add example of constructing a dynamic contact graph.
v5 akwizgran
Move section on static contact graphs later in report.
v4 akwizgran
Fix a broken image link.
v3 akwizgran
Also measure static reachability.
v2 akwizgran
Fix a couple of typos in image links.
v1 akwizgran
Use wiki's built-in page title.