Courses / Module

On successful completion of the module, students should be able to:

• Explain the limitations of testing as a means to ensure correctness and evaluate the role of verification in software engineering
• Create mathematically precise specifications and designs using logic-based specification languages
• Prove the correctness of programs with respect to a specification using Hoare logic
• Analyse the properties of formal specifications and designs
• Use tools to verify properties of specifications and designs

Delivery methods	Hours
Lectures	24
Labs / Practicals	24
Tutorials	0
Planned learning activities	0
Independent student activities	77
Total	125

• Module Graded (numeric value) or Ungraded (Pass/Not Passed): Graded
• Continuous Assessment detail(s): Continuous Assessment up to 30%.

Assessment type	Options	Weighting	Duration
Continuous Assessment		30%
University scheduled written examination	On-campus	70%	120 minutes
Other		0%
Total		100%	120 minutes

• Pass standard: 40%
• Could the result of this module be capped? No

• Are supplemental/resit registrations permitted? Yes
• University scheduled written examination (Autumn): 120 minutes, On-campus

• CS162 or equivalent, CS172 or equivalent.

For a full timetable search, go to NUIM Timetable. Venue locations can be found here.