Artikel-Archiv iX 5/2009, Seite 159

  • Thumbnail, iX 5/2009, Seite 159

    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.

    Umfang: ca. 3.5 redaktionelle Seiten
    BibTeX anzeigen

    Erwerben Sie das Heft
    iX 5/2009,
    um Zugriff auf diesen Artikel zu erhalten.