LFU:online

Prerequisites for registration: none

Learning Outcome: After completing this module, students can understand, create and correct the specifications of
programmes. They have acquired the skill to prove specifications formally. They use a combination
of interactive and automatic methods to combine expressive logic with efficient search
for proof.