02417oam 2200481 450 99641820920331620210426232441.03-030-63461-210.1007/978-3-030-63461-2(CKB)4100000011569078(DE-He213)978-3-030-63461-2(MiAaPQ)EBC6396112(PPN)252506936(EXLCZ)99410000001156907820210426d2020 uy 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierIntegrated Formal Methods 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, proceedings /Brijesh Dongol, Elena Troubitsyna, editors1st ed. 2020.Cham, Switzerland :Springer,[2020]©20201 online resource (XI, 461 p. 1045 illus., 64 illus. in color.) Lecture notes in computer science ;125463-030-63460-4 Includes bibliographical references and index.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.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.Lecture notes in computer science ;12546.Formal methods (Computer science)CongressesFormal methods (Computer science)004.0151Dongol BrijeshTroubitsyna Elena(Elena A.),1970-MiAaPQMiAaPQUtOrBLWBOOK996418209203316Integrated Formal Methods772444UNISA