Integrated Formal Methods - E-book

eBook

Integrated Formal Methods - ENG

16th International Conference, Ifm 2020, Lugano, Switzerland, November 16â€“20, 2020, Proceedings

Elena Troubitsyna; Brijesh Dongol

eBook

$1,100.00

Disponible

Información adicional
Sinopsis

ISBN:	9783030634612
Formato:	ePub
Idioma:	Inglés
Editorial:	Springer Nature
Tema:	Computadoras
Subtema:	Inteligencia artificial y semántica
Año de publicación:	2020-11-13

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.

eBooks