Advanced NuSMV exercise
- Due 28 Apr 2023 by 19:00
- Points 5
- Submitting a file upload
Description of the assignment (PDF) Download Description of the assignment (PDF)
Skeleton of the controller Download Skeleton of the controller (with partial implementation).
Please upload your solution(s) as an SMV file, as multiple files, or as an archive (.tar.gz).
1682701200
04/28/2023
07:00pm
Additional comments:
Rubric
Find rubric
Please include a title
Title
You've already rated students with this rubric. Any major changes could affect their assessment results.
| Criteria | Ratings | Pts |
|---|---|---|
|
This criterion is linked to a learning outcome
Description of criterion
threshold:
5 pts
|
This area will be used by the assessor to leave comments related to this criterion.
|
pts
/
5 pts
--
|
|
This criterion is linked to a learning outcome
Description of criterion
threshold:
5 pts
|
This area will be used by the assessor to leave comments related to this criterion.
|
pts
/
5 pts
--
|
Total points:
5
out of 5