@inbook{ee97433c2d0143b0967f1ff0cdf00401,
title = "Simulation Relations and Applications in Formal Methods",
abstract = "We survey the research on application of equivalence checking to formal methods, with a particular focus on the notion of simulation and bisimulation as well as of modal refinement on modal transition systems. We discuss the algorithmic aspects of efficiently computing (bi)simulation relations, the extension to infinite state systems, and existing tool support. We then present results related to simulation and bisimulation checking on timed and hybrid systems and highlight the connections to automata theory.",
keywords = "Automata theory, Bisimulation, Hybrid System, Simulation, Transition system",
author = "Larsen, {Kim G.} and Christian Schilling and Ji{\v r}{\'i} Srba",
year = "2022",
doi = "10.1007/978-3-031-22337-2_13",
language = "English",
isbn = "978-3-031-22336-5",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "272--291",
booktitle = "Principles of Systems Design",
address = "Germany",
}