Verifikationsprozesse: Eine Kombination aus herkömmlichen Tests und formellen Methoden stellt sicher, dass Programmcode den Anforderungen gerecht
Verifikationsprozesse: Eine Kombination aus herkömmlichen Tests und formellen Methoden stellt sicher, dass Programmcode den Anforderungen gerecht wird, und gewährleistet zugleich ein hohes Maß an Zuverlässigkeit und (funktionaler) Sicherheit. ( Bild: Clipdealer )