Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings

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.

List of contents

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.- Algebraic Techniques.

Product details

• Assisted by: Brijes Dongol (Editor), Brijesh Dongol (Editor), Troubitsyna (Editor), Troubitsyna (Editor), Elena Troubitsyna (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 21.01.2021
• EAN: 9783030634605
• ISBN: 978-3-0-3063460-5
• No. of pages: 461
• Dimensions: 156 mm x 27 mm x 237 mm
• Illustrations: XI, 461 p. 1045 illus., 64 illus. in color.
• Series: Lecture Notes in Computer Science; Programming and Software Engineering
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > IT