Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9763)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: SEFM 2016.
Buy print copy
About this book
This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.
The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 88 submissions. They were organized in topical sections named: concurrency and non-interference; program analysis; model checking; verification; interaction and adaptation; and development methods.
Similar content being viewed by others
Keywords
- formal modeling
- formal semantics
- interactive systems
- model checking
- software validation
- concurrency
- formal methods
- formal verification
- interaction
- model-driven software engineering
- non-interference
- program analysis
- requirements analysis
- rewriting logic
- safety analysis
- software architectures
- software functional properties
- software verification
- system description languages
- theorem proving
Table of contents (27 papers)
-
Invited Papers
-
Concurrency and Non-interference
-
Program Analysis
Other volumes
-
Software Engineering and Formal Methods
Editors and Affiliations
Bibliographic Information
Book Title: Software Engineering and Formal Methods
Book Subtitle: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
Editors: Rocco De Nicola, Eva Kühn
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-41591-8
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2016
Softcover ISBN: 978-3-319-41590-1Published: 23 June 2016
eBook ISBN: 978-3-319-41591-8Published: 22 June 2016
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XV, 419
Number of Illustrations: 86 b/w illustrations
Topics: Software Engineering, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Mathematical Logic and Formal Languages, Programming Techniques, Artificial Intelligence