COMPSYS 705 Formal Methods for Safety Critical Software Test, 17 October 2023
The University of Auckland Department of Electrical, Computer and Software Engineering COMPSYS 705 Formal Methods for Safety Critical Software Test, 17 October 2023 Question Mark Q1 Q2 Q3 Q4 Q5 Q6 Total Last name Name ID 1. Answer ALL questions. Part I (Partha’s part) covers 70 marks, while Part II (Avinash’s Part) covers 30 marks […]
COMPSYS 705 Formal Methods for Safety Critical Software Test, 17 October 2023 Read More »