COM6845 Software Verification and Testing: Course Material

This module explores selected formal methods for the description, construction and analysis of software systems. Their objective is software reliability in applications where failure is unacceptable, e.g., e-commerce, telecommunication, transport, energy. Focus is on the development of formal specifications, on the verification of their behavioural properties, and on testing methods. A more detailed course description can be found here.

All lecture notes and exercise sheets will be posted on this website.

Lecture Notes:

Exercises: They will be discussed in the Thursday's meetings. They need not be delivered and will not be marked.

Representative Texts:

More on Logic: More on Relations: The Using Z Book: