🚨 Zwei kritische Stabilitätsfehler in ZisK mit CIVER gefunden 🚨 In einer Zusammenarbeit mit dem @ziskvm Entwicklungsteam wendet die Costa-Gruppe formale Methoden an, um Rekursions-/Aggregationsschaltungen von ZisK zu überprüfen. 🔗Weitere Details hier: 🧵
4,75K