A TLA+ formal specification modeling the behavior of a walk-in industrial oven, with a focus on verifying safety properties and interlocks.
The TLA+ specification is available on GitHub: https://github.com/EricSpencer00/tla-walk-in-oven
TLA+ Model of a Walk-In Oven
A formal TLA+ specification of a walk-in industrial oven with a focus on safety interlocks.