Integrated Formal Methods

19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings

Nikolai Kosmatov, Laura Kovács (Herausgeber)

Buch | Softcover

XXII, 328 Seiten

2024
Springer International Publishing (Verlag)
978-3-031-76553-7 (ISBN)

Artikel merken

This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK.

The 19 full papers presented in this volume were carefully reviewed and selected from 58 submissions. The conference focuses on all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in software engineering practice.

Erscheinungsdatum	14.11.2024
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	XXII, 328 p. 114 illus., 86 illus. in color.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Mathematik / Informatik ► Informatik ► Software Entwicklung
Schlagworte	automata learning • automated reasoning • cybersecurity • Formal Verification • Monitoring • Quantitative Analysis • SAT solving • SMT solving • Software Verification • Static Analysis • system refinement
ISBN-10	3-031-76553-2 / 3031765532
ISBN-13	978-3-031-76553-7 / 9783031765537
Zustand	Neuware