Lecture Notes in Computer Science: 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3–5, 2025, Proceedings

ter Beek, Maurice H.; Teixeira, Leopoldo

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. 

Details

Published by: Springer

Publication Date: 2025-11-27

Format: Paperback

ISBN-13: 9783032120854

DOI: 10.1007/978-3-032-12086-1

Dimensions: 235cm x155cm

Pages: 243