sle2025/vision1

SLE 2025 vision paper:
Integrating Model Checking into a Live Modeling Environment

Joeri Exelmans, Ciprian Teodorov, Hans Vangheluwe

• DOI: 10.1145/3732771.3742718
• T5D: Formal Methods
  • Model checking is a formal-methods technique, and integrating it is the paper’s primary contribution.
• T4D: Interpretation
  • The setting is live modeling where models execute under an interpreter and are edited at runtime.
• T4E: Simulation
  • Witness traces/counterexamples are produced as integrated execution scenarios, aligning with simulation-style exploration of behaviours.

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.