Formal Methods: Foundations and Applications

21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

  • Tiago Massoni
  • Mohammad Reza Mousavi
Conference proceedings SBMF 2018

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 11254)

Table of contents

  1. Front Matter
    Pages I-X
  2. David Come, Julien Brunel, David Doose
    Pages 20-38
  3. Samuel S. Feitosa, Rodrigo Geraldo Ribeiro, Andre Rauber Du Bois
    Pages 39-55
  4. Philip Wadler
    Pages 56-73
  5. Sumayya Shiraz, Osman Hasan
    Pages 74-89
  6. Youssef El Bakouny, Dani Mezher
    Pages 90-108
  7. Nils Timm, Stefan Gruner, Matthias Harvey
    Pages 126-143
  8. Lukas Convent, Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma
    Pages 144-162 Open Access
  9. Rafaela Almeida, Sidney Nogueira, Augusto Sampaio
    Pages 163-179
  10. Leo Freitas, Paolo Modesti, Martin Emms
    Pages 180-197
  11. M. S. Conserva Filho, R. Marinho, A. Mota, J. Woodcock
    Pages 198-214
  12. Neda Saeedloei, Feliks Kluźniak
    Pages 215-233
  13. Flávia Falcão, Lucas Lima, Augusto Sampaio
    Pages 234-251
  14. Tainã Santos, Gustavo Carvalho, Augusto Sampaio
    Pages 252-270
  15. Back Matter
    Pages 271-271

About these proceedings


Chapter “TeSSLa: Temporal Stream-Based Specification Language” is available open access under a Creative Commons Attribution 4.0 International License via


formal logic formal methods functional programming model checking program compilers programming languages semantics software engineering software evaluation specifications verification

Editors and affiliations

  1. 1.Federal University of Campina GrandeCampina GrandeBrazil
  2. 2.University of LeicesterLeicesterUK

Bibliographic information

Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment