Formal specfication in the mCRL2 language of one hospital mechanic bed. Many liveness and safety properties are checked on the system. They can be found in the properties directory. The system is also deadlock free.
To compile the project the mCRL2 toolkit is needed.
make # run specs
make run # run symulation