Software engineering and formal methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings /
Saved in:
Meeting name: | International Conference on Software Engineering and Formal Methods (18th : 2020 : Online) |
---|---|
Imprint: | Cham : Springer, 2020 . |
Description: | 1 online resource (xiv, 325 p.) : ill. (some col.) |
Language: | English |
Series: | Lecture Notes in Computer Science ; 12310 LNCS sublibrary, SL 1, Theoretical computer science and general issues Lecture notes in computer science ; 12310. LNCS sublibrary. SL 1, Theoretical computer science and general issues. |
Subject: | |
Format: | E-Resource Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/12607880 |
Summary: | 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 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. <br> 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> |
---|---|
Physical Description: | 1 online resource (xiv, 325 p.) : ill. (some col.) |
ISBN: | 9783030587680 3030587681 9783030587673 |