Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings: 12310 - Brossura

Brossura

ISBN 10: 3030587673 ISBN 13: 9783030587673

Casa editrice: Springer, 2020

Riassunto

This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020.<br><br>The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk&nbsp;were carefully reviewed and selected from 58 submissions. The papers&nbsp;cover a large variety of topics,&nbsp;including testing, formal verification, program analysis, runtime verification,&nbsp;meta-programming and software development and evolution. The papers address&nbsp;a wide range of systems, such as IoT systems, human-robot interaction in&nbsp;healthcare scenarios, navigation of maritime autonomous systems, and operating&nbsp;systems.<div><br></div><div>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.<br></div>

Dettagli dell'edizione

• Editore: Springer
• Data di pubblicazione: 2020
• Lingua: Inglese
• ISBN 10: 3030587673
• ISBN 13: 9783030587673
• Rilegatura: Copertina flessibile
• Numero edizione: 1
• Numero di pagine: 340
• Redattore: De Boer Frank, Cerone Antonio
• Contatto del produttore: Springer Nature Customer Service Center GmbH; ProductSafety@springernature.com; ; Europaplatz 3,69115 Heidelberg, Germany; Heidelberg; 69115; Germania