Mocking Temporal Logic
summary
Argues that teaching temporal reasoning through mocking dependencies in Java (using the Makito-style embedded DSL) conveys the same ordering, eventuality, and past-time ideas as LTL but with far lower notational friction. Reports seven years of classroom use, a week-long module plus a server-mocking assignment, and improved student focus on conceptual mapping rather than syntax. Shows live examples, uses verify/when ordering and simulated failures, notes limits (awkward strong-until encodings) but says the approach reliably works for introductory exposure.
AI-written summary · about