Broschiertes Buch

Formal Methods: Foundations and Applications

28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3-5, 2025, Proceedings

Herausgeber: Ter Beek, Maurice; Teixeira, Leopoldo

Beschreibung

This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 3–5, 2025. The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 24 submissions. They were organized in topical sections as follows: Process Algebras and Time; Formal Verification; Testing; Availability and Contracts; Formal Methods and AI; and Teaching and Foundations. 

Produktdetails

• Lecture Notes in Computer Science Nr.16363
• Verlag: Springer International Publishing AG / Springer-Verlag GmbH
• Artikelnr. des Verlages: 89594670
• Erscheinungstermin: 7. Februar 2026
• Englisch
• ISBN-13: 9783032120854
• ISBN-10: 3032120853
• Artikelnr.: 75697532