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