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 papers.
• 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.
• Here are general guidelines for the project report and presentation.