Designing a safety critical smart hospital management system, modelling it using UML/NFA, creating formal specifications using TLA+ and verifying it using TLC Model Checker. - View it on GitHub