Industrial Strength Formal Methods
Lectures: 24 h
Recommended for:
PhD students in Computer Science and Systems. Also for ECSEL and ARTES students.
The course last ran:
New course.
Goals:
Prerequisites:
Basic discrete mathematics, Software engineering foundations.
Organization:
Contents:
- Formal specification Design in Z, CSP, OBJ
- Refinement
- Proof correctness
- Tool support
- Theorem proving in Nqthm
- Code generation
- Industrial case studies
Literature:
Industrial Strength Formal Methods, ed by Michel Hinchey and Jonathan Bowen, Academic Press, 1998.
Teachers:
Mike Hinchey.
Examiner:
Anders Törne.
Schedule:
Oct - Nov 98.
Examination:
To be decided.
Credit:
3 + 2 p.
Page responsible: Webmaster
Last updated: 2012-05-03