Computer Laboratory

Past exam papers: Temporal Logic and Model Checking

Any “solution notes” provided here were produced by question setters, primarily for the benefit of the examiners. These are not model answers: there may be many other good ways of answering a given exam question!

restricted = access to solution notes is restricted to cl-supervisors, all-cl-users.

See also