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.