Formal Methods: Foundations and Applications: 28th Brazilian Symposium, Sbmf 2025, Recife, Brazil, December 3-5, 2025, Proceedings

Contributor(s): Ter Beek, Maurice H (Editor), Teixeira, Leopoldo (Editor)

ISBN: 9783032120854

Publisher: Springer

Binding Types:

Paperback

$64.99

Digicover (1-4 copies)

$77.94 (Final Price)

Readerbound (5-99 copies)

$76.74 (100+ copies: $75.99)

List/retail price:

$64.99

Pub Date: November 27, 2025

Lexile Code: 0000

Features: Illustrated

Target Age Group: NA to NA

Physical Info: 0.55" H x 9.21" L x 6.14" W ( 0.82 lbs) 243 pages

BISAC Categories:

Series: Lecture Notes in Computer Science

Descriptions, Reviews, etc.

Description:

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.