Wozu formale Methoden? mit Lars Hupel

https://tube.tchncs.de/w/h2bj3uHupSP45dMv1GY4uU

🚨 𝗪𝗮𝗿𝘂𝗺 𝗧𝗲𝘀𝘁𝗶𝗻𝗴 𝗮𝗹𝗹𝗲𝗶𝗻 𝗻𝗶𝗰𝗵𝘁 𝗴𝗲𝗻ü𝗴𝘁 – 𝗜𝗻𝘁𝗲𝗿𝘃𝗶𝗲𝘄 𝗺𝗶𝘁 𝗟𝗮𝗿𝘀 𝗛𝘂𝗽𝗲𝗹

Tests finden Fehler – aber garantieren keine Korrektheit. Im Interview erklärt @lars , Kurator des #CPSA Advanced Level Moduls „Formale Methoden“, wie #FormaleMethoden hier weiterhelfen.

💡 Du erfährst u. a.:
• Grenzen von Testing
• Einsatz formaler Methoden
• Praxisbeispiele

👉 Zum Interview: https://t1p.de/wnm7m

#iSAQB #Softwarearchitektur #Testing #SAF2026