Formal Methods: Foundations and Applications

19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

  • Leila Ribeiro
  • Thierry Lecomte
Conference proceedings SBMF 2016

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

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Invited Talks

    1. Front Matter
      Pages 1-1
    2. Augusto Sampaio, Filipe Arruda
      Pages 21-38
  3. Analysis and Verification

    1. Front Matter
      Pages 39-39
    2. Luis E. Mendoza Morales, Carlos Monsalve, Mónica Villavicencio
      Pages 41-58
    3. Sidney Nogueira, Taciana Pontual Falcão, Alexandre Mota, Emanuel Oliveira, Itamar Moraes, Iverson Pereira
      Pages 59-77
    4. Andrei Costa, Jonas Bezerra, Guilherme Azzi, Leonardo Rodrigues, Thiago Rafael Becker, Ricardo Gabriel Herdt et al.
      Pages 78-94
  4. Modeling and Logic

    1. Front Matter
      Pages 95-95
    2. Pablo F. Castro, Nazareno Aguirre
      Pages 112-128
    3. Regivan H. N. Santiago, Benjamín Bedregal, Alexandre Madeira, Manuel A. Martins
      Pages 129-144
    4. Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre et al.
      Pages 145-160
    5. Hugo Farias, Christiano Braga, Paulo B. Menezes
      Pages 179-195
  5. Model Checking

    1. Front Matter
      Pages 197-197
    2. Nils Timm, Stefan Gruner, Matthias Harvey
      Pages 199-216
    3. Sérgio Barza, Gustavo Carvalho, Juliano Iyoda, Augusto Sampaio, Alexandre Mota, Flávia Barros
      Pages 217-234
    4. Lucas Lima, Juliano Iyoda, Augusto Sampaio
      Pages 235-252
  6. Back Matter
    Pages 253-253

About these proceedings


This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.

The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.


automata theory concurrent systems model checking program verification timed automata business process computer-aided education e-learning educational robotics formal methods heuristics logic model refinement modeling and simulation rewriting logic semantics software creation and management software validation theory of security UML

Editors and affiliations

  • Leila Ribeiro
    • 1
  • Thierry Lecomte
    • 2
  1. 1.Universidad Federal do Rio Grande do SulPorto AlegreBrazil
  2. 2.ClearSyAix en ProvenceFrance

Bibliographic information

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