Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13085)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: SEFM 2021.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (28 papers)
-
Invited Papers
-
Run-time Analysis and Testing
-
Parallel Composition/CSP and Probabilistic Reasoning
Other volumes
-
Software Engineering and Formal Methods
-
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
Keywords
- architecture verification and validation
- artificial intelligence
- computer hardware
- computer programming
- computer systems
- distributed computer systems
- distributed systems
- embedded systems
- formal languages
- formal logic
- model checking
- parallel processing systems
- programming languages
- software architecture
- software design
- software engineering
- software quality
- verification
- verification and validation
About this book
This book constitutes the refereed proceedings of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held as a virtual event, in December 2021.
The 22 full papers presented together with 4 short papers were carefully reviewed and selected from 86 submissions. Also included are 2 invited talks and an abstract of a keynote talk. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution.
Chapter 'Configuration Space Exploration for Digital Printing Systems' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Editors and Affiliations
Bibliographic Information
Book Title: Software Engineering and Formal Methods
Book Subtitle: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings
Editors: Radu Calinescu, Corina S. Păsăreanu
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-92124-8
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2021
Softcover ISBN: 978-3-030-92123-1Published: 03 December 2021
eBook ISBN: 978-3-030-92124-8Published: 02 December 2021
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XV, 522
Number of Illustrations: 78 b/w illustrations, 68 illustrations in colour
Topics: Software Engineering, Artificial Intelligence, Theory of Computation