Advanced NuSMV exercise
- Due No due date
- 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).
0
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