We are building a solutions manual for UPPAAL and Prism.Attached is a sample of the test questions
If you can answer them it means you have an understanding of UPPAAL or Prism
The workers who comes out with the correct answer first will be selected for the job.