Am 3.7.2026 ist von Michael Sperber in Medtec Online der Blogbeitrag "Verifikation in der Softwareentwicklung – reicht Testen aus?" erschienen. Der Artikel beschäftigt sich mit dem Testen sicherheitskritischer Software als Prozess über den gesamten Lebenszyklus – und was „formale Methoden“ ergänzend beitragen können.