Quiz Verification

Due No due date
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