TLA+ on Eric Spencerhttps://dev.ericspencer.us/tags/tla+/Recent content in TLA+ 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.Connect 4 Game Enginehttps://dev.ericspencer.us/projects/2025/connect-4/Sun, 29 Jun 2025 00:00:00 +0000https://dev.ericspencer.us/projects/2025/connect-4/A Chess engine-esque Connect 4 analyzerWeb 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+Software Engineerhttps://dev.ericspencer.us/resume/loyola-cs-software-engineer-2025/Thu, 01 May 2025 00:00:00 +0000https://dev.ericspencer.us/resume/loyola-cs-software-engineer-2025/Implemented a web-based visualization and demo application for TLA+ using Spring Boot and Vaadin.