Tony Finch dot@dotat.at https://dotat.at/ https://dotat.at/:/1JLVE.html 2026-08-25T17:42:01Z 2026-08-24T18:57:32Z The changing role of finite-state model checking.
  • 2026‑08‑24 - The changing role of finite-state model checking.
  • https://ahelwer.ca/post/2026-08-24-finite-state-future/
  • redirect https://dotat.at/:/1JLVE
  • blurb https://dotat.at/:/1JLVE.html
  • atom entry https://dotat.at/:/1JLVE.atom
  • web.archive.org archive.today
    • ]]>