Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings
by
C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029
Title
:
Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings
Author
:
C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029
ISBN
:
9783031781162
Edition
:
1st ed. 2025.
Physical Description
:
XVIII, 205 p. 76 illus., 35 illus. in color. online resource.
Series
:
Lecture Notes in Computer Science, 15403
Abstract
:
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.
Subject Term
:
Software engineering.
Natural language processing (Computer science).
Logic programming.
Computer science.
Computers, Special purpose.
Computer networks .
Natural Language Processing (NLP).
Logic in AI.
Theory of Computation.
Special Purpose and Application-Based Systems.
Computer Communication Networks.
Added Author
:
C. Nogueira, Sidney.
Teodorov, Ciprian.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
| Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
|---|
| Online Library | E-Book | 606244-1001 | ONLINE | | Springer E-Kitap Koleksiyonu |