In de afgelopen weken heeft @dnkolegov (en het team van @asymmetric_re) Minimmit vertaald naar een uitvoerbare specificatie (geschreven in Quint). Waarom? We kunnen nu de zoektocht naar de onbetrouwbaarheid van Minimmit automatiseren met de Apalache Symbolic Model Checker 🤖.