Schönen guten Tag,
ich suche dringend Hilfe bezüglich der Verifizierung von Software. Ich schreibe derzeit meine Diplomarbeit über Programmierung und muss nun beweisen, dass die Software auch wirklich funktioniert. Kennt sich hier jemand mit Analsystischer Qualitätssicherung, statischer Analyse etc. von Softwar aus???
Viele Grüße,
Billy