Formal Methods: Foundations and Applications

Name: Formal Methods: Foundations and Applications
Price: 65.99 USD
Availability: InStock
ISBN: 9783032120861

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

Network hardware Software Engineering Mathematical theory of computation Artificial intelligence Expert systems / knowledge-based systems Natural language and machine translation

Collection: Lecture Notes in Computer Science

Language: English

Published by: Springer

Published on: 26th November 2025

Format: LCP-protected ePub

ISBN: 9783032120861

Proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025

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.

Show more Show less