@book{4a9290c89aad4c37aabb49fc9ae820c1,
title = "Modelchecking: Eine Methode zur Verbesserung der Softwarequalit{\"a}t",
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.",
keywords = "Model checking, state-explosion problem",
author = "Matthias Gehrke and Baris G{\"u}ldali and Ekkart Kindler",
year = "2007",
language = "Tysk",
series = "s-lab Report",
number = "2",
publisher = "s-lab, University of Paderborn",
}