IT-Zeitschriften, Fachbücher, eBooks, digitale Magazine und vieles mehr - direkt im heise shop online kaufen
Warenkorb Ihr Warenkorb ist noch leer.
2,29 €*

iX Plus-Abonnenten erhalten diesen Artikel kostenlos.

Model Checking: Bugs in C-Programmen finden

Drum prüfe
iX 05/2009, S. 159

Bewerten Sie dieses Produkt als Erster

Softwareentwickler stecken oft viel Arbeit indie Verifikation ihrer Produkte. Dennoch kämpfenAnwender tagtäglich mit fehlerhafter Software,obwohl gründliches Testen das verhindern sollte.Mehr Zuverlässigkeit und Automatisierung sollModel Checking bringen.

Sofortige Lieferung
Autor: Georg Weißenbacher
Redakteur: Christian Kirsch
Länge des Artikels: ca. 3.5 redaktionelle Seiten
Dateigröße: 137.56 KB
Format: PDF
Um bewerten zu können, melden Sie sich bitte an
Ähnliche Artikel