F21RS CW2 2023
Rigorous Methods for Software Engineering (F21RS): (2023-2024) Specification of Coursework 2 A SPIN Design Modelling and Verification Exercise THIS IS AN INDIVIDUAL PROJECT While discussion with fellow students as to the general nature of this project is acceptable, it is critically important that the solution you adopt as well as the associated code and report […]