Notice Skip to main content Home Student Help Educational Technology Support Guides and Resources UNSW IT Support Student Home Academic Skills Health & Wellbeing The Nucleus: Student Hub Faculty / Program Contacts Staff Help Educational Technology Support Training & Resources UNSW IT Support Ask Chatbot A.I.D.E UNSW Education Staff Wellbeing Faculties UNSW Sites myUNSW Library Newsroom UNSW's Response to COVID-19 More Search Course Global Search You are currently using guest access Log in Help Student Help Educational Technology Support Guides and Resources UNSW IT Support Student Home Academic Skills Health & Wellbeing The Nucleus: Student Hub Faculty / Program Contacts Staff Help Educational Technology Support Training & Resources UNSW IT Support Ask Chatbot A.I.D.E UNSW Education Staff Wellbeing Faculties UNSW Sites myUNSW Library Newsroom UNSW's Response to COVID-19 Home Student Help Collapse Expand Educational Technology Support Guides and Resources UNSW IT Support Student Home Academic Skills Health & Wellbeing The Nucleus: Student Hub Faculty / Program Contacts Staff Help Collapse Expand Educational Technology Support Training & Resources UNSW IT Support Ask Chatbot A.I.D.E UNSW Education Staff Wellbeing Faculties UNSW Sites Collapse Expand myUNSW Library Newsroom UNSW's Response to COVID-19 Home COMP3151-5236_00367 Turnitin Assignment 2 Assignment 1 Submissions (Report only, the rest via give) DEADLINE extended to 9am Mon Jul 17 PLEASE NOTE: submit your Assignment 1 REPORT in PDF form here. Only ONE member of your team should submit. The report should state the zID's and Names of ALL the team members on the front page. For all other components, including Java code, Promela Scripts and Testing scripts, and any other information you wish to submit, use the command give cs3151 Assgt1 on a CSE machine, where may have the form *.tar, *.zip or *.tgz. Please ensure that your report contains instructions that enable the markers to reproduce your claims about running of the code, in particular, any information needed for compilation and execution of your code and testing, as well as running the Spin models. It is highly recommended that you include scripts enabling Java testing, as well as running Spin from the command line. Guests cannot access this course. Please log in. Continue You are currently using guest access (Log in) Data retention summary Switch to the standard theme Powered by Moodle Academic Integrity Privacy Content & Social Media Disclaimer Copyright & Disclaimer Accessibility Site Map UNSW staff and students experiencing difficulties using Moodle? Contact External TELT Support for assistance. Email: externalteltsupport@unsw.edu.au Internal: x53331 External: 9385 3331 International: +61 2 9385 3331 Page last updated Monday 10 May 2021 UNSW CRICOS Provider Code 00098G, ABN 57 195 873 179 | Sydney, NSW.2052, Australia Student Help Educational Technology Support Guides and Resources UNSW IT Support Student Home Academic Skills Health & Wellbeing The Nucleus: Student Hub Faculty / Program Contacts Staff Help Educational Technology Support Training & Resources UNSW IT Support Ask Chatbot A.I.D.E UNSW Education Staff Wellbeing Faculties UNSW Sites myUNSW Library Newsroom UNSW's Response to COVID-19 UNSW Privacy Policy Terms & Conditions UNSW Moodle © 2023. All rights reserved.
