Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12546)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Conference series link(s): IFM: International Conference on Integrated Formal Methods
Conference proceedings info: IFM 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 (24 papers)
-
Front Matter
-
Integrating Machine Learning and Formal Modelling
-
Front Matter
-
-
Modelling and Verification in B and Event-B
-
Front Matter
-
-
Verification of Interactive Behaviour
-
Front Matter
-
About this book
This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020.
The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and Event-B; Program Analysis and Testing; Verification of Interactive Behaviour; Formal Verification; Static Analysis; Domain-Specific Approaches; and Algebraic Techniques.
Keywords
- theory of computation
- software and its engineering
- semantics and reasoning
- design and analysis of algorithms
- models of computation
- theory and algorithms for application domains
- architecting
- architecture verification and validation
- computer hardware
- computer programming
- embedded systems
- formal logic
- mathematics
- model checking
- software architecture
- software design
- software quality
- theoretical computer science
- verification
- validation
Editors and Affiliations
-
University of Surrey, Guildford, UK
Brijesh Dongol
-
Royal Institute of Technology - KTH, Stockholm, Sweden
Elena Troubitsyna
Bibliographic Information
Book Title: Integrated Formal Methods
Book Subtitle: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings
Editors: Brijesh Dongol, Elena Troubitsyna
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-63461-2
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2020
Softcover ISBN: 978-3-030-63460-5Published: 14 November 2020
eBook ISBN: 978-3-030-63461-2Published: 13 November 2020
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XI, 461
Number of Illustrations: 981 b/w illustrations, 64 illustrations in colour
Topics: Logic in AI, Natural Language Processing (NLP), Control Structures and Microprogramming, Special Purpose and Application-Based Systems, Computer System Implementation