Systems Verification

Course Code:

CST-482

Course Name:

Systems Verification

ECTS:

5

Course Description

This course provides students the opportunity to:

  • study the role of logic and model checking in systems verification
  • explore compressed representations of logical formulae with a view to improving model checking performance
  • use state-of-the-art model checkers as verification tools explore advanced topics in the verification of AI systems