Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings

This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019.The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of to...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ahrendt, Wolfgang, Tapia Tarifa, Silvia Lizeth
Format:	Buch
Sprache:	eng
Schlagworte:	Computer programming, programs, data Computer Science Computer Systems Organization and Communication Networks Formal methods (Computer science)-Congresses Logic in AI Programming Languages, Compilers, Interpreters Simulation and Modeling Software Engineering Theory of Computation
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 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019.The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their integration into software engineering practice including both theoretical approaches and practical implementations. Also included are the extended abstracts of 6 "journal-first" papers.
ISSN:	0302-9743 1611-3349
DOI:	10.1007/978-3-030-34968-4