Malakit är det största användningsområdet för Quint: projektet utnyttjade Quint från dag ett med MBT-testning. Under personliga retreater var det fantastiskt att se teamet diskutera protokolländringar samtidigt som de använde Quint för att validera designen. Jag är så stolt och glad för deras framgång 🚀🔥