Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12546)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: IFM 2020.
Access this book
Tax calculation will be finalised at checkout
Other ways to 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
-
Other volumes
-
Integrated Formal Methods
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
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.
Editors and Affiliations
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