Abstract is missing.
- A Formal Model for Startups Financial TransactionsRodrigo Stevaux, Ana C. V. de Melo. 3-19 [doi]
- A Haskell-Embedded DSL for Secure Information-FlowCecilia Manzino, Gonzalo de Latorre. 20-35 [doi]
- CSP Specification and Verification of a Relay-Based Railway Interlocking SystemP. E. R. Bezerra, Marcel Vinícius Medeiros Oliveira, Thierry Lecomte, Dalay Israel de Almeida Pereira. 36-54 [doi]
- ULKB Logic: A HOL-Based Framework for Reasoning over Knowledge GraphsGuilherme Lima, Alexandre Rademaker, Rosario Uceda-Sosa. 55-71 [doi]
- Language-Based Testing for Pushdown Reactive SystemsAdilson Luiz Bonifácio. 75-91 [doi]
- Sound Test Case Generation for Concurrent Mobile FeaturesRafaela Almeida, Sidney C. Nogueira, Augusto Sampaio. 92-109 [doi]
- Automated Code Generation for DES Controllers Modeled as Finite State MachinesTiago Possato, João H. Valentini, Luiz Fernando Puttow Southier, Marcelo Teixeira. 113-130 [doi]
- AutomaTutor: An Educational Mobile App for Teaching Automata TheorySteven Jordaan, Nils Timm, Linda Marshall. 131-140 [doi]
- ESBMC v7.3: Model Checking C++ Programs Using Clang ASTKunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Lucas C. Cordeiro. 141-152 [doi]