Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12310)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Conference series link(s): SEFM: International Conference on Software Engineering and Formal Methods
Conference proceedings info: SEFM 2020.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (17 papers)
-
Front Matter
-
Back Matter
Other Volumes
-
Software Engineering and Formal Methods
About this book
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.
Keywords
- architecting
- architecture verification and validation
- artificial intelligence
- computer hardware
- computer programming
- distributed computer systems
- embedded systems
- engineering
- formal logic
- formal methods
- formal verifications
- linguistics
- mathematics
- model checking
- software architecture
- software design
- software engineering
- software quality
- verification
- verification and validation
Editors and Affiliations
-
Informatica, Centrum voor Wiskunde en Informatica (CWI), Amsterdam, The Netherlands
Frank de Boer
-
Department of Computer Science, Nazarbayev University, Astana, Kazakhstan
Antonio Cerone
Bibliographic Information
Book Title: Software Engineering and Formal Methods
Book Subtitle: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings
Editors: Frank de Boer, Antonio Cerone
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-58768-0
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2020
Softcover ISBN: 978-3-030-58767-3Published: 12 September 2020
eBook ISBN: 978-3-030-58768-0Published: 11 September 2020
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 325
Number of Illustrations: 576 b/w illustrations, 63 illustrations in colour
Topics: Software Engineering, Artificial Intelligence, Computer Hardware, Special Purpose and Application-Based Systems