TLA+ Model of a Walk-In Oven
A formal TLA+ specification of a walk-in industrial oven with a focus on safety interlocks.
Formal Methods
TLA+ Model of a Laptop
A formal TLA+ specification modeling a laptop’s power states and transitions.
TLA+ Model of Dexcom G7
A formal TLA+ specification of the Dexcom G7 continuous glucose monitor’s behavior and safety properties.
Researcher
Research on TLA+ and fine-tuning open-source LLMs for formal methods.
Web Based TLA+ Microwave
An interactive microwave in the browser to learn TLA+
coq Presentation
The formal methods language