A class I followed about modelling and verifying a lock in UPPAAL.
An RFID door lock system written in Python.
