Formal Methods: Foundations and Applications Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications

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

Maurice H. ter Beek und Leopoldo Teixeira
    • 48,99 €
    • 48,99 €

Beschreibung des Verlags

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. 

GENRE
Computer und Internet
ERSCHIENEN
2025
26. November
SPRACHE
EN
Englisch
UMFANG
261
Seiten
VERLAG
Springer Nature Switzerland
ANBIETERINFO
Springer Science & Business Media LLC
GRÖSSE
27
 MB

Mehr Bücher von Maurice H. ter Beek & Leopoldo Teixeira

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2025
Coordination Models and Languages Coordination Models and Languages
Coordination Models and Languages
2022
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2022
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
2020
From Software Engineering to Formal Methods and Tools, and Back From Software Engineering to Formal Methods and Tools, and Back
From Software Engineering to Formal Methods and Tools, and Back
2019
Formal Methods – The Next 30 Years Formal Methods – The Next 30 Years
Formal Methods – The Next 30 Years
2019