Formal Methods on Eric Spencerhttps://dev.ericspencer.us/tags/formal-methods/Recent content in Formal Methods on Eric SpencerHugo -- 0.145.0en-usFri, 12 Dec 2025 00:00:00 +0000TLA+ Model of a Walk-In Ovenhttps://dev.ericspencer.us/projects/2024/tla-walk-in-oven/Fri, 12 Dec 2025 00:00:00 +0000https://dev.ericspencer.us/projects/2024/tla-walk-in-oven/A formal TLA+ specification of a walk-in industrial oven with a focus on safety interlocks.TLA+ Model of a Laptophttps://dev.ericspencer.us/projects/2024/tla-laptop/Thu, 27 Nov 2025 00:00:00 +0000https://dev.ericspencer.us/projects/2024/tla-laptop/A formal TLA+ specification modeling a laptop's power states and transitions.TLA+ Model of Dexcom G7https://dev.ericspencer.us/projects/2024/tla-dexcom-g7/Wed, 12 Nov 2025 00:00:00 +0000https://dev.ericspencer.us/projects/2024/tla-dexcom-g7/A formal TLA+ specification of the Dexcom G7 continuous glucose monitor's behavior and safety properties.Researcherhttps://dev.ericspencer.us/resume/ai4fm-researcher/Fri, 01 Aug 2025 00:00:00 +0000https://dev.ericspencer.us/resume/ai4fm-researcher/Research on TLA+ and fine-tuning open-source LLMs for formal methods.Web Based TLA+ Microwavehttps://dev.ericspencer.us/projects/2025/interactive-microwave-tla/Sat, 10 May 2025 00:00:00 +0000https://dev.ericspencer.us/projects/2025/interactive-microwave-tla/An interactive microwave in the browser to learn TLA+coq Presentationhttps://dev.ericspencer.us/projects/2025/coq/Thu, 01 May 2025 00:00:00 +0000https://dev.ericspencer.us/projects/2025/coq/The formal methods language