Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings

This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022.The 14 full papers and 2 short papers were carefully reviewed and selected from 46 submissions. The papers are categorized into the fo...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	ter Beek, Maurice H, Monahan, Rosemary
Format:	Buch
Sprache:	eng
Schlagworte:	Artificial Intelligence Computer programming, programs, data Computer Science Computer Systems Organization and Communication Networks Formal methods (Computer science) Logics and Meanings of Programs Software Engineering/Programming and Operating Systems
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022.The 14 full papers and 2 short papers were carefully reviewed and selected from 46 submissions. The papers are categorized into the following topical sub-headings: Invited Papers; Cooperative and Relational Verification; B Method; Time; Probability; learning and Synthesis; Security; Stats Analysis and Testing; PhD Symposium Presentations.
ISSN:	0302-9743 1611-3349
DOI:	10.1007/978-3-031-07727-2