Formal Methods: Foundations and Applications

Ciprian Teodorov

ISBN 10: 3031781155 / ISBN 13: 9783031781155

Verlag: Springer Nature Switzerland Nov 2024, 2024

Beschreibung

Neuware -This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitória, Brazil, during December 4¿6, 2024.The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Formal Analysis and Verification in Temporal and Symbolic Systems; Formal Semantics and Verification of UML Models; Formal Verification and Proof Techniques in Algorithms and Logics; and Formal Methods for Security and Privacy.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch.

Bestandsnummer des Verkäufers 9783031781155

Bibliografische Details

• Titel: Formal Methods: Foundations and Applications
• Verlag: Springer Nature Switzerland Nov 2024
• Erscheinungsjahr: 2024
• Sprache: Englisch
• ISBN-10: 3031781155
• ISBN-13: 9783031781155
• Einband: Taschenbuch
• Zustand: Neu

Über diesen Titel

Inhaltsangabe

This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitória, Brazil, during December 4–6, 2024.

The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Formal Analysis and Verification in Temporal and Symbolic Systems; Formal Semantics and Verification of UML Models; Formal Verification and Proof Techniques in Algorithms and Logics; and Formal Methods for Security and Privacy.