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.
Preface to the proceedings of the 28th Brazilian symposium on formal methods: foundations and applications (SBMF 2025)
ter Beek M. H.
;
2025
Abstract
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
SBMF25front.pdf
accesso aperto
Descrizione: Preface to Formal Methods Foundations and Applications
Tipologia:
Versione Editoriale (PDF)
Licenza:
Creative commons
Dimensione
290.04 kB
Formato
Adobe PDF
|
290.04 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
