Special Issue on Selected papers from the 27th Brazilian Symposium on Formal Methods (SBMF 2024) Submission Date: 2025-08-22 This special issue is based on a selection of papers presented at the 27th Brazilian Symposium on Formal Methods (SBMF 2024).

Guest editors:

Prof. Sidney Nogueira, PhD

Affiliation:Computer Science Department, Universidade Federal Rural de Pernambuco, Recife, Brazil

Fields of interest: Formal methods, software testing, software verification

Prof. Ciprian Teodorov, PhD

Affiliation: Institut Polytechnique de Paris, Brest, France

Fields of interest: formal methods, specification languages, behavior analysis

Prof. Adenilso Simao, PhD

Affiliation: ICMC, University of Sao Paulo

Fields of interest: software testing, formal methods and programming languages

Special issue information:

This special issue is based on a selection of papers presented at the 27th Brazilian Symposium on Formal Methods (SBMF 2024) - showcasing advances in the following subtopics.

1. Formal Analysis and Verification in Temporal and Symbolic Systems: Papers in this area should delve into formal analysis and verification of temporal and symbolic systems, offering new tools and algorithms to enhance decision-making and system reliability under time constraints.

2. Formal Semantics and Verification in Model-based Systems Engineering: This subtopic focuses on advancements in formal semantics and verification of system engineering models (UML, SysML), showcasing the integration of formal techniques (such as CSP, Petri nets) or the usage of formal methods to design unifiedframeworks that improve reliability and consistency in systems modeling and verification processes.

3. Formal Verification and Proof Techniques in Algorithms and Logics: Papers in this topic should focus on formal verification and proof techniques applied to algorithms and logics, ensuring soundness and robustness in automata minimization, modal logics, and machine learning algorithms.

4. Formal Methods for Security and Privacy: Papers should explore rigorous approaches for ensuring security and privacy in areas such as cryptographic protocols, open banking, and smart contract deployment.