Skip to main content
Springer Nature Link
Log in

Formal Methods: Foundations and Applications

27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4–6, 2024, Proceedings

  • Conference proceedings
  • © 2025

Overview

Editors:
  1. Sidney C. Nogueira

    1. Federal Rural University of Pernambuco, Recife, Brazil

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ciprian Teodorov

    1. ENSTA Bretagne, Brest, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 15403)

Included in the following conference series:

Conference proceedings info: SBMF 2024.

  • 1361 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 54.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

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.

Similar content being viewed by others

Keywords

Table of contents (12 papers)

  1. Front Matter

    Pages i-xviii
    Download chapter PDF

  2. Formal Analysis and Verification in Temporal and Symbolic Systems

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. On the Existence of Unions of Timed Scenarios

      • Neda Saeedloei
      Pages 3-21

    3. SMTQuery: Analysing SMT-LIB String Benchmarks

      • Mitja Kulczynski, Kevin Lotz, Florin Manea, Danny Bøgsted Poulsen, Paul Sarnighausen-Cahn
      Pages 22-34

    4. Autonomous Vehicles Path Planning Under Temporal Logic Specifications

      • Akshay Dhonthi, Nicolas Schischka, Ernst Moritz Hahn, Vahid Hashemi
      Pages 35-45

  3. Formal Semantics and Verification of UML Models

    1. Front Matter

      Pages 47-47
      Download chapter PDF

    2. A CSP Semantics for UML State Machines Aiming at Hidden Formal Methods Verification

      • Diego Ferreira, Lucas Lima
      Pages 49-67

    3. Verifying Integrated Designs of UML State Machines and Activities Using CSP

      • Diego Ferreira, Lucas Lima
      Pages 68-85

    4. An Integrated Framework for Analysing, Simulating and Testing UML Models

      • Gustavo Carvalho, José Dihego, Augusto Sampaio
      Pages 86-104

  4. Formal Verification and Proof Techniques in Algorithms and Logics

    1. Front Matter

      Pages 105-105
      Download chapter PDF

    2. Brzozowski’s Algorithm for Automata Minimization Verified in Coq

      • Filipe Ramos, Karina Girardi Roggia, Rafael Castro G. Silva
      Pages 107-119

    3. Soundness-Preserving Fusion of Modal Logics in Coq

      • Miguel Alfredo Nunes, Karina Girardi Roggia, Paulo Henrique Torrens
      Pages 120-138

    4. Formally Verified Implementation of the K-Nearest Neighbors Classification Algorithm

      • Bernny Velasquez, Jessica Herring, Nadeem Abdul Hamid
      Pages 139-152

  5. Formal Methods for Security and Privacy

    1. Front Matter

      Pages 153-153
      Download chapter PDF

    2. Formal Verification of Forward Secrecy and Post-Compromise Security for TreeKEM

      • Alex J. Washburn, Subash Shankar
      Pages 155-170

    3. Formal Privacy Analyses for Open Banking

      • Luigi D. C. Soares, Mário S. Alvim, Di Bu, Natasha Fernandes, Yin Liao
      Pages 171-193

    4. Trusted Deployer: A Tool for Safe Creation and Upgrade of Ethereum Smart Contracts

      • Juliandson Ferreira, Pedro Antonino, Augusto Sampaio, A. W. Roscoe, Filipe Arruda
      Pages 194-204

  6. Back Matter

    Pages 205-205
    Download chapter PDF
Back to top

Other volumes

  1. Formal Methods: Foundations and Applications

Editors and Affiliations

  • Federal Rural University of Pernambuco, Recife, Brazil

    Sidney C. Nogueira

  • ENSTA Bretagne, Brest, France

    Ciprian Teodorov

Bibliographic Information

Publish with us

Policies and ethics

Back to top