Demonstrate, verify all the properties identified above by running your code.
model and verify the desired system properties you need to complete the following tasks: Task 1: Design and draw a state transition diagram of the system considering four agents mentioned above. note that this diagram would be a high-level diagram and not considering NuSMV’s low level diagram (as it would be very complicated); Task 2: […]