Present the system that your group has chosen to model and
verify. This presentation will be short (approx 10min).
You'll receive feedback from me and the rest of class.
This presentation is not worth any marks and should include (briefly):
- system description
- what you want to verify about the system
- characteristics of the system and properties
- anticipated challenges
You can probably re-use some of this material in your final
presentation.
3.
Project Presentations (10%)
DUE: Mon 30 March, Wed 1 April, 2009
10:30-12:00 MC 2036
- Presentation of completed project.
- Each group members should present part of the talk.
- Describe your project.
- Evaluate what you did (as appropriate):
- Was the specification notation suitable, sufficiently
expressive?
- How easy was the verification from a user's point of
view?
- How long did it take you to set up the problem?
- How long did it take learn the tool?
- How long did it take use the tool for the problem?
- Would you recommend this solution again?
- Other relevant factors.
4.
Project
Reports (30%)
DUE: Mon 6 Apr 2009 by 5pm (electronic
submission
is ok)
Write-up (max 10 pages LNCS style file; shorter is fine). It
should have an outline similar to the following:
- Abstract (max 150 words)
- Introduction (include motivation)
- Problem description
- Description of modelling semantics (include rationale)
- Verification effort
- Evaluation of solution
- Conclusion
LNCS
paper format instructions -- follow the instructions for
"Proceedings and Other Multiauthor Volumes".
In particular, check out Proceedings
and Other Multiauthor Volumes - Using LaTeX2e
You will probably want to download the file llncs2e.zip
from this web page
for the Latex 2e style file.