🚨 Twee kritieke stabiliteitsfouten gevonden in ZisK met CIVER 🚨 In samenwerking met het ontwikkelteam van @ziskvm past de Costa-groep formele methoden toe om recursie/aggregatiecircuits van ZisK te verifiëren. 🔗Meer details hier: 🧵
4,77K