Formal Methods: Foundations and Applications, Kartoniert / Broschiert

Formal Methods: Foundations and Applications

Buch

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

deliverable within 2-3 weeks (if available from supplier)

Current price: EUR 63.51

Shipping (United States of America): EUR 19.90

Publisher:: Maurice H. Ter Beek, Leopoldo Teixeira
Publisher:: Springer, 11/2025
Binding:: Kartoniert / Broschiert
Language:: Englisch
ISBN-13:: 9783032120854
Item number:: 12506654
Volume:: 264 Pages
Weight:: 406 g
Format:: 235 x 155 mm
Thickness:: 15 mm
Release date:: 27.11.2025
Note: Caution: Product is not in German language

Blurb

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.