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 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The contributions were organized in topical sections as follows:
Part I: Invited papers; fundamentals of formal verification;  foundations; learn and repair; programming languages.- logic and automata; 
Part II: Tools and case studies; embedded systems track; industry day track; tutorial papers. 
 
 
 
 

Détails du produit

• Collaboration: André Platzer (Editeur), Matteo Pradella (Editeur), Matteo Rossi (Editeur), Kristin Yvonne Rozier (Editeur)
• Edition: Springer, Berlin
• Langues: Anglais
• Format d'édition: Livre de poche
• Sortie: 11.09.2024
• EAN: 9783031711619
• ISBN: 978-3-0-3171161-9
• Pages: 680
• Dimensions: 155 mm x 37 mm x 235 mm
• Poids: 1049 g
• Illustrations: XXII, 680 p. 166 illus., 113 illus. in color.
• Thème: Lecture Notes in Computer Science
• Catégorie: Sciences naturelles, médecine, informatique, technique > Informatique, ordinateurs > Informatique