Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from...

Full description

Saved in:

Bibliographic Details
Main Authors:	Platzer, André, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo
Format:	eBook
Language:	English
Published:	Cham Springer Nature 2025 Springer
Edition:	1
Series:	Lecture Notes in Computer Science
Subjects:	architecture verification and validation Artificial intelligence computational complexity and cryptography Computer hardware Computer programming / software engineering Computer science Computing and Information Technology design and analysis of algorithms embedded systems Expert systems / knowledge-based systems formal languages and automata theory formal logic formal methods machine learning Mathematical theory of computation model checking models of computation Natural language and machine translation Programming and scripting languages: general semantics and reasoning Software Engineering theory and algorithms for application domains
ISBN:	9783031711619, 9783031711626, 3031711629, 3031711610
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!