@inbook{7c47119aa8d5434c9c6fd408ecf3afe2,
title = "Model Checking Using Automata Theory",
abstract = "In this chapter, we describe the theory of LTL model checking using w- automata theory. The relation between model checking algorithms and automata theory allows applying various known results about automata to the automatic verification of programs.",
author = "D. Peled",
year = "2000",
language = "American English",
series = "NATO ASI Series",
publisher = "Springer",
pages = "55--79",
editor = "Inan, {M. K.} and Kurshan, {R. P.}",
booktitle = "Verification of Digital and Hybrid Systems",
}