Software Engineering and Formal Methods: 18th International Conference, SEFM 2020

[LeeAndro]

English | 2020 | ISBN: 3030587673 | 340 Pages | (True PDF) | 14.69 MB

This book constitutes the refereed proceedings of the 18th International Conference on Software Eeering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020.​

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, run 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 mari 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.



DOWNLOAD

https://1dl.net/qafsiya4kfm2/pXv6Ms3J_.is9783030587680.rar.html