Systems Verification

Course Code:


Course Name:

Systems Verification



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