Z3: Die KI, die Code auf Richtigkeit prüft
Z3 ist eine KI von Microsoft Research. Sie prüft automatisch komplexe logische Aussagen und Computercode. So macht sie Software und kritische Systeme zuverlässiger. Fehler werden frühzeitig erkannt.
Stellen Sie sich eine super-intelligente KI vor. Sie kann komplexe Computercodes oder logische Aussagen automatisch prüfen. Das ist Z3, ein leistungsstarkes Tool von Microsoft Research. Es wurde 2008 veröffentlicht. Z3 ist wie ein digitaler Detektiv. Es stellt sicher, dass eine Reihe logischer Regeln gleichzeitig wahr sein kann. Menschen müssen dies nicht manuell beweisen.
Es gibt mehr zu lesen — öffne die App, um weiterzulesen.
In der App Weiterlesen
2 weitere Absätze · plus ein 3-Fragen-Quiz