Module2 - self - 2 Quiz Verification

Due May 25, 2018 at 3pm
Points 3
Questions 3
Time Limit None
Allowed Attempts 4

Instructions

This is a test on the self-study material on Verification. You need to have studied the lecture on LTL. The material in red (PRISM etc) will not be tested on the quiz.

Only registered, enrolled users can take graded quizzes