Modelchecking: Eine Methode zur Verbesserung der Softwarequalität

Matthias Gehrke, Baris Güldali, Ekkart Kindler

    Research output: Book/ReportReportResearch

    Abstract

    Model checking is a technique for automatically checking the correctness of systems. This report gives an overview on the state-of-the art of modelchecking, and the pros and cons of the different approaches for avoiding or reducing the so-called state explosion problem.
    Original languageGerman
    Place of PublicationPaderborn, Germany
    Publishers-lab, University of Paderborn
    Number of pages29
    Publication statusPublished - 2007
    Seriess-lab Report
    Number2

    Keywords

    • Model checking
    • state-explosion problem

    Cite this