SBMF

Keyphrases

Publications

volume 14414, 2024

Formal Methods: Foundations and Applications - 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings SBMF 14414 (2024)

2023

Tiago Possato, João H. Valentini, Luiz Fernando Puttow Southier, Marcelo Teixeira
Automated Code Generation for DES Controllers Modeled as Finite State Machines. SBMF (2023)
Steven Jordaan, Nils Timm, Linda Marshall
AutomaTutor: An Educational Mobile App for Teaching Automata Theory. SBMF (2023)
P. E. R. Bezerra, Marcel Vinícius Medeiros Oliveira, Thierry Lecomte, Dalay Israel de Almeida Pereira
CSP Specification and Verification of a Relay-Based Railway Interlocking System. SBMF (2023)
Adilson Luiz Bonifácio
Language-Based Testing for Pushdown Reactive Systems. SBMF (2023)
Rodrigo Stevaux, Ana C. V. de Melo
A Formal Model for Startups Financial Transactions. SBMF (2023)
Guilherme Lima, Alexandre Rademaker, Rosario Uceda-Sosa
ULKB Logic: A HOL-Based Framework for Reasoning over Knowledge Graphs. SBMF (2023)
Rafaela Almeida, Sidney C. Nogueira, Augusto Sampaio
Sound Test Case Generation for Concurrent Mobile Features. SBMF (2023)
Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Lucas C. Cordeiro
ESBMC v7.3: Model Checking C++ Programs Using Clang AST. SBMF (2023)
Cecilia Manzino, Gonzalo de Latorre
A Haskell-Embedded DSL for Secure Information-Flow. SBMF (2023)

2022

volume 13768, 2022

Formal Methods: Foundations and Applications - 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings SBMF 13768 (2022)

2021

volume 13130, 2021

Formal Methods: Foundations and Applications - 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings SBMF 13130 (2021)

2020

volume 12475, 2020

Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings SBMF 12475 (2020)

2018

volume 11254, 2018

Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings SBMF 11254 (2018)