3 minute lesen
Formale Methoden in der Softwarequalität
Software testen bedeutet meist: ein paar Beispiele ausprobieren und hoffen, dass der Rest auch funktioniert. Formale Methoden gehen einen radikal anderen Weg – sie beweisen mathematisch, dass Code für alle denkbaren Fälle korrekt ist. Funktionale...
Weiterlesen...