Mohammad Hamdaqa

Die Automatisierung der Priorisierung von Fehlerberichten verbessert die Sicherheit von Smart Contracts und die Effizienz der Entwickler.

2025-10-06T12:18:36+00:00 ― 7 min Lesedauer

PathOCL verbessert die Genauigkeit und Effizienz der OCL-Generierung für UML-Klassenmodelle.

2025-08-09T16:56:18+00:00 ― 6 min Lesedauer

Neues Typsystem sorgt dafür, dass Smart Contracts reibungslos laufen, ohne Gasprobleme.

2025-07-08T23:06:54+00:00 ― 8 min Lesedauer