CS 267 Class Project
There are a number of verification tools listed in the class webpage and
we are going to discuss a number of verification techniques in class.
As a class project you are asked to conduct a case study on applcation of
an existing verification tool to an application domain where verification
can be useful (and hopefully find some bugs). Automated verification is
an active area and there are lots of research opportunities for applying
automated verification to new domains.
Automated verification typically has scalability problems and application of
verification tools may require manual translation, modeling or
simplification. In some cases it may be possible to automate such steps
(for example by writing a translator from the target language to the input
language of one of the existing verification tools).
The first thing to do is to find an application domain. You have
to figure this out as soon as possible. Please choose a topic that is
related to your interests so that the project is fun for you!
The project will be conducted in 3-4 people teams. You can use the cs267 slack channel for forming a team of discussing project ideas.
Project Deliverables
- Project topic: (10% of the project grade) One paragraph describing your project.
List the team members. Turn in a hard copy (either in class or srop it in my mailbox HFH 2108 by 5:00pm on the due date) Due:
April 19th, Wednesday
- Progress report: (30% of the project grade) Prepare a 3-5 page
progress report about your project.
In the progress report you should explain the topic of your study, the techniques and tools you are using,
and discuss your findings so far.
Turn in a hard copy (either in class or srop it in my mailbox HFH 2108 by 5:00pm on the due date)
Due:
May 17th, Wednesday (deadline extended: Project progress reports are due at the beginning of class (hard copy) on May 22th, Monday)
- Final Report: (60% of the project grade, including the presentation if we can do the presentations)
You will need to turn in a final project report around 10 pages
at the end of the quarter.
Turn in a hard copy (drop it in my mailbox HFH 2108 by 5:00pm on the due date)
Due: June 15th, Friday