Under de senaste veckorna har @dnkolegov (och teamet på @asymmetric_re) översatt Minimmit till en körbar specifikation (skriven i Quint). Varför? Vi kan nu automatisera sökningen efter Minimmit osundhet mot Apalache Symbolic Model Checker 🤖 .
5,3K