iX-Archiv, 5/2009, Seite 159

Praxis - C-Entwicklung

Autor: Georg Weißenbacher

Redakteur: Christian Kirsch

Drum prüfe

Model Checking: Bugs in C-Programmen finden

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.

Kostenpflichtiger Download des Zeitschriftenartikels

Sie starten den Download bzw. die Anzeige, indem Sie auf das gewünschte Format klicken.
ClickandBuy (Lastschrift oder Kreditkarte)		PDF kaufen
iX Plus-Abonnenten können Artikel kostenlos downloaden Zugangsdaten anfordern Upgrade auf Plus-Abo iX abonnieren	Benutzername: Passwort: Passwort vergessen?
Infos zum Plus-Abo-Zugang für die Zeitschriften c't, iX und Technology Review FAQ zum Artikel-Archiv Nachdem der Artikel freigeschaltet ist, können Sie auf ihn bis zu zwei Stunden in allen Formaten zugreifen. Klicken Sie dazu einfach erneut auf das gewünschte Format. Die Artikel sind nur für die persönliche Nutzung bestimmt. Eine Weiterverbreitung (insbesondere zu kommerziellen Zwecken und/oder in elektronischen Medien) ist nicht erlaubt. Sie erwerben keine Verwertungsrechte an dem Artikel.

Seite 159

Seite 160

Seite 161

Seite 162

Auch wenn Sie in der Seitenvorschau leere Seiten oder große weiße Flächen sehen, sind die Dokumente vollständig. An diesen Stellen waren im Original Anzeigen enthalten, die nicht zum Artikel gehören.