Buch, Englisch, 325 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 517 g
18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings
Buch, Englisch, 325 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 517 g
Reihe: Theoretical Computer Science and General Issues
ISBN: 978-3-030-58767-3
Verlag: Springer International Publishing
The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. The papers address a wide range of systems, such as IoT systems, human-robot interaction in healthcare scenarios, navigation of maritime autonomous systems, and operating systems.
The Chapters "Multi-Purpose Syntax Definition with SDF3", “FRed: Conditional Model Checking via Reducers and Folders" and "Difference Verification with Conditions” are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
Testing.- Formal verification.- Program analysis.- Runtime verification.- Meta-programming and software development.- Evolution.