What needs to be written?
Nothing. But creating a UppAal model is pretty sweet
Why do we need it?
To verify at the exam that we actually made something that was complex enough for a bachelor project (it is necessary to show that we have made something for a cyber-physical system, and have used mathematical modelling such that it lives up to the study regulations).
Also, a system where it is mathematically proven that a booking system cannot fail is nice to have
What needs to be written? Nothing. But creating a UppAal model is pretty sweet
Why do we need it? To verify at the exam that we actually made something that was complex enough for a bachelor project (it is necessary to show that we have made something for a cyber-physical system, and have used mathematical modelling such that it lives up to the study regulations).
Also, a system where it is mathematically proven that a booking system cannot fail is nice to have