@inbook{199712f4f70d492383ea19c6c959cfb7,
title = "Model Checking, Synthesis, and Learning",
abstract = "Reliability is a central concern of software system development. It can be approached in three ways, in a post-mortem fashion via verification of an unknown artefact, by construction applying correctness preserving steps, and via testing of the final product. In this paper, we introduce the nine contributions to the Festschrift dedicated to Bengt Jonsson on the occasion of his 60th birthday. Verification is addressed here from the model checking perspective, correctness by construction via synthesis, and testing as both a means and a as by-product of active automata learning while reflecting on the impact Bengt had on these developments.",
keywords = "(Regular) Model checking, Automata learning, B{\"u}chi automata, Linear-time temporal logic, Markov chains, Model synthesis, Petri games, Petri-nets, Probabilistic systems, Register automata, Timed systems, Verification",
author = "Olderog, \{Ernst R{\"u}diger\} and Bernhard Steffen and Wang Yi",
note = "Publisher Copyright: {\textcopyright} 2021, Springer Nature Switzerland AG.",
year = "2021",
doi = "10.1007/978-3-030-91384-7\_1",
language = "英语",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "1--7",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
address = "德国",
}