Jan Onderka
Version 0.7.0: Interpreted properties and descriptions, equality domain
More options and much improved compile time.
Posted 2025-10-29 by Jan Onderka ‐ 4 min read
Version 0.6.1: Bugfixes to μ-calculus verification
Version 0.6.0 has been yanked.
Posted 2025-09-14 by Jan Onderka ‐ 2 min read
Version 0.6.0: Parametric systems and μ-calculus properties
More options for verification.
Posted 2025-08-26 by Jan Onderka ‐ 3 min read
Version 0.5.0: Division, nicer error spans, dual-interval domain
Eliminating the technical debt and getting the benefits. No breaking changes (hopefully).
Posted 2025-06-15 by Jan Onderka ‐ 4 min read
Introduction and a bit of history
The first blogpost on the new website, coinciding with the release of machine-check 0.4.0. Let's talk about what led to this moment.
Posted 2025-04-04 by Jan Onderka ‐ 7 min read