03399nam 22007335 450 991042767320332120250707100227.03-030-63461-210.1007/978-3-030-63461-2(CKB)4100000011569078(DE-He213)978-3-030-63461-2(MiAaPQ)EBC6396112(PPN)252506936(EXLCZ)99410000001156907820201113d2020 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierIntegrated Formal Methods 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings /edited by Brijesh Dongol, Elena Troubitsyna1st ed. 2020.Cham :Springer International Publishing :Imprint: Springer,2020.1 online resource (XI, 461 p. 1045 illus., 64 illus. in color.) Programming and Software Engineering,2945-9168 ;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.Programming and Software Engineering,2945-9168 ;12546Software engineeringLogic programmingNatural language processing (Computer science)MicroprogrammingComputers, Special purposeComputer systemsSoftware EngineeringLogic in AINatural Language Processing (NLP)Control Structures and MicroprogrammingSpecial Purpose and Application-Based SystemsComputer System ImplementationSoftware engineering.Logic programming.Natural language processing (Computer science)Microprogramming.Computers, Special purpose.Computer systems.Software Engineering.Logic in AI.Natural Language Processing (NLP).Control Structures and Microprogramming.Special Purpose and Application-Based Systems.Computer System Implementation.004.0151Dongol BrijeshTroubitsyna Elena(Elena A.),1970-MiAaPQMiAaPQMiAaPQBOOK9910427673203321Integrated Formal Methods2860239UNINA