CS 838: Analysis of Software Artifacts (Fall 2000)
Detailed course content
Suggestions for projects
Read research papers in a sub-area related to any of the topics covered in class and present a summary. Here are some suggested
Apply one of the tools covered in class on a larger example and present it as a case study.
Explore a tool which we did not cover in class and present an experience report. Several tools and related links can be found in the
Oxford formal methods page.
for the project report and presentation.