Software ohne Fehler? Nur mit formalen Methoden – Interview mit Lars Hupel, Kurator des CPSA® Advanced Level Moduls „Formale Methoden“
🚨 𝗪𝗮𝗿𝘂𝗺 𝗧𝗲𝘀𝘁𝗶𝗻𝗴 𝗮𝗹𝗹𝗲𝗶𝗻 𝗻𝗶𝗰𝗵𝘁 𝗴𝗲𝗻ü𝗴𝘁 – 𝗜𝗻𝘁𝗲𝗿𝘃𝗶𝗲𝘄 𝗺𝗶𝘁 𝗟𝗮𝗿𝘀 𝗛𝘂𝗽𝗲𝗹
Tests finden Fehler – aber garantieren keine Korrektheit. Im Interview erklärt @lars.mastodon.hupel.info.ap.brid.gy, Kurator des #CPSA Advanced Level Moduls „Formale Methoden“, wie formale Methoden hier weiterhelfen.
👉 t1p.de/wnm7m