Mathematisch fundierte Techniken zur Spezifikation, Entwicklung und Verifikation von Software- und Hardwaresystemen. Werden zunehmend erforscht, um die Korrektheit und Sicherheit von KI-Systemen, insbesondere in kritischen Bereichen, zu gewährleisten.