Integrated Formal Methods
Download or Read eBook Integrated Formal Methods PDF written by Brijesh Dongol and published by Springer Nature. This book was released on 2020-11-13 with total page 461 pages. Available in PDF, EPUB and Kindle.
Author | : Brijesh Dongol |
Publisher | : Springer Nature |
Total Pages | : 461 |
Release | : 2020-11-13 |
ISBN-10 | : 9783030634612 |
ISBN-13 | : 3030634612 |
Rating | : 4/5 (12 Downloads) |
Book Synopsis Integrated Formal Methods by : Brijesh Dongol
Book excerpt: 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.