Integrated Formal Methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, proceedings / / Brijesh Dongol, Elena Troubitsyna, editors

• Pubblicazione: Cham, Switzerland : , : Springer, , [2020]; ©2020
• Edizione: 1st ed. 2020.
• Descrizione fisica: 1 online resource (XI, 461 p. 1045 illus., 64 illus. in color.)
• Disciplina: 004.0151
• Soggetto topico: Formal methods (Computer science)
• Persona (resp. second.): DongolBrijesh; TroubitsynaElena <1970-> (Elena A.)
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: 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.
• Sommario/riassunto: 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.
• Titolo autorizzato: Integrated Formal Methods
• ISBN: 3-030-63461-2
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910427673203321
• Lo trovi qui: Univ. Federico II
• Serie: Lecture notes in computer science ; ; 12546.