Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10886)
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 2018.
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 (18 papers)
-
Front Matter
-
Invited Keynote
-
Front Matter
-
-
Model Checking and Runtime Verification
-
Front Matter
-
-
Applications
-
Front Matter
-
About this book
This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.
The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions. The papers deal with a large range of topics in the following research areas: specification; concurrency; program analysis; model checking and runtime verification; applications; and shape analysis and reuse.
Editors and Affiliations
-
University of Oslo, Oslo, Norway
Einar Broch Johnsen
-
Braunschweig University of Technology, Braunschweig, Germany
Ina Schaefer
Bibliographic Information
Book Title: Software Engineering and Formal Methods
Book Subtitle: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings
Editors: Einar Broch Johnsen, Ina Schaefer
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-92970-5
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG, part of Springer Nature 2018
Softcover ISBN: 978-3-319-92969-9Published: 30 May 2018
eBook ISBN: 978-3-319-92970-5Published: 18 June 2018
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 303
Number of Illustrations: 98 b/w illustrations
Topics: Software Engineering, Programming Languages, Compilers, Interpreters, Programming Techniques, The Computing Profession, System Performance and Evaluation, Theory of Computation
Industry Sectors: Aerospace, Automotive, Biotechnology, Chemical Manufacturing, Consumer Packaged Goods, Electronics, Energy, Utilities & Environment, Engineering, Finance, Business & Banking, Health & Hospitals, IT & Software, Law, Materials & Steel, Oil, Gas & Geosciences, Pharma, Telecommunications