@inproceedings{e131da5879b740bfba946fb1bc99710d,
title = "Predicate Abstraction and Such..",
abstract = "Predicate abstraction is only a facet of Susanne Graf{\textquoteright}s work, but an important and characteristic one. Aiming for the essence without being disrupted by {\textquoteleft}syntactic sugar{\textquoteright} appears like a red thread in her career, and it explains also her current vision for a contract-based composition of viewpoints. This paper sketches her accompanying associated keynote, as well as the nine papers of scientific relatives who came to FMICS for celebrating her 60th birthday.",
keywords = "CEGAR, Communication protocols, Compositionality, Contracts, Cyber-physical systems, Interface specifications, Predicate abstraction, Real time, Refinement, Scalability, Security, State explosion problem, Tools, Verification, Viewpoints",
author = "Bernhard Steffen and Tiziana Margaria",
note = "Publisher Copyright: {\textcopyright} 2018, Springer Nature Switzerland AG.; 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018 ; Conference date: 03-09-2018 Through 04-09-2018",
year = "2018",
doi = "10.1007/978-3-030-00244-2_12",
language = "English",
isbn = "9783030002435",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "181--188",
editor = "Falk Howar and Ji{\v r}{\'i} Barnat",
booktitle = "Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Proceedings",
}