๐จ ๐ช๐ฎ๐ฟ๐๐บ ๐ง๐ฒ๐๐๐ถ๐ป๐ด ๐ฎ๐น๐น๐ฒ๐ถ๐ป ๐ป๐ถ๐ฐ๐ต๐ ๐ด๐ฒ๐ปรผ๐ด๐ โ ๐๐ป๐๐ฒ๐ฟ๐๐ถ๐ฒ๐ ๐บ๐ถ๐ ๐๐ฎ๐ฟ๐ ๐๐๐ฝ๐ฒ๐น
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


