@inproceedings{10.1007/978-3-540-69738-1_10,
    Abstract = {In automata-theoretic model checking we compose the design under verification with a B{\"u}chi automaton that accepts traces violating the specification. We then use graph algorithms to search for a counterexample trace. The basic theory of this approach was worked out in the 1980s, and the basic algorithms were developed during the 1990s. Both explicit and symbolic implementations, such as SPIN and and SMV, are widely used. It turns out, however, that there are still many gaps in our understanding of the algorithmic issues involved in automata-theoretic model checking. This paper covers the fundamentals of automata-theoretic model checking, review recent progress, and outlines areas that require further research.},
    Address = {Berlin, Heidelberg},
    Author = {Vardi, Moshe Y.},
    BookTitle = {Verification, Model Checking, and Abstract Interpretation},
    Editor = {Cook, Byron and Podelski, Andreas},
    File = {Automata-Theoretic Model Checking Revisited - Vardi2007\_Chapter\_Automata-TheoreticModelCheckin - a - h.pdf},
    ISBN = {978-3-540-69738-1},
    Pages = {137--150},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Automata-Theoretic Model Checking Revisited},
    Year = {2007},
    date-added = {2020-05-07 12:41:39 +0200},
    date-modified = {2020-05-07 12:41:39 +0200},
    doi = {10.1007/978-3-540-69738-1_10}
}

@inproceedings{10.1007/978-3-540-69738-1_10, Abstract = {In automata-theoretic model checking we compose the design under verification with a B{\"u}chi automaton that accepts traces violating the specification. We then use graph algorithms to search for a counterexample trace. The basic theory of this approach was worked out in the 1980s, and the basic algorithms were developed during the 1990s. Both explicit and symbolic implementations, such as SPIN and and SMV, are widely used. It turns out, however, that there are still many gaps in our understanding of the algorithmic issues involved in automata-theoretic model checking. This paper covers the fundamentals of automata-theoretic model checking, review recent progress, and outlines areas that require further research.}, Address = {Berlin, Heidelberg}, Author = {Vardi, Moshe Y.}, BookTitle = {Verification, Model Checking, and Abstract Interpretation}, Editor = {Cook, Byron and Podelski, Andreas}, File = {Automata-Theoretic Model Checking Revisited - Vardi2007_Chapter_Automata-TheoreticModelCheckin - a - h.pdf}, ISBN = {978-3-540-69738-1}, Pages = {137--150}, Publisher = {Springer Berlin Heidelberg}, Title = {Automata-Theoretic Model Checking Revisited}, Year = {2007}, date-added = {2020-05-07 12:41:39 +0200}, date-modified = {2020-05-07 12:41:39 +0200}, doi = {10.1007/978-3-540-69738-1_10} }