Formal Methods: Foundations and Applications

20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

  • Simone Cavalheiro
  • José Fiadeiro
Conference proceedings SBMF 2017

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

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

Table of contents

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

  3. Formal Methods Integration and Experience Reports

    1. Front Matter
      Pages 13-13
    2. Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon
      Pages 15-32
    3. Neda Saeedloei, Feliks Kluźniak
      Pages 33-51
    4. Lucio Mauro Duarte, Leila Ribeiro
      Pages 52-69
    5. Thierry Lecomte, David Deharbe, Etienne Prun, Erwan Mottin
      Pages 70-87
  4. Model Checking

    1. Front Matter
      Pages 89-89
    2. Rodrigo Otoni, Ana Cavalcanti, Augusto Sampaio
      Pages 107-124
    3. Higo F. Albuquerque, Rodrigo F. Araújo, Iury V. Bessa, Lucas C. Cordeiro, Eddie B. de Lima Filho
      Pages 125-141
    4. Arthur Américo, Artur Vaz, Mário S. Alvim, Sérgio V. A. Campos, Annabelle McIver
      Pages 142-158
  5. Refinement and Verification

    1. Front Matter
      Pages 159-159
    2. Guillermina Cledou, José Proença, Luís S. Barbosa
      Pages 161-178
    3. Normann Decker, Philip Gottschling, Christian Hochberger, Martin Leucker, Torben Scheffel, Malte Schmitz et al.
      Pages 179-196 Open Access
    4. Roberto Metere, Andreas Lindner, Roberto Guanciale
      Pages 197-214
    5. Kênia Santos de Oliveira, Stéphane Julia
      Pages 215-232
    6. Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe
      Pages 233-250
  6. Semantics and Languages

    1. Front Matter
      Pages 251-251
    2. Leandro Gomes, Alexandre Madeira, Luís S. Barbosa
      Pages 271-286
    3. Yi Li, Xiyue Zhang, Yuanyi Ji, Meng Sun
      Pages 287-304
  7. Back Matter
    Pages 305-305

About these proceedings


The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.


code generation denotational semantics distributed systems formal methods global optimization integrated development environment logic model analysis model checking model extraction real-time systems refinement runtime verification service oriented computing software verification theorem proving semantics software engineering formal logic programming languages

Editors and affiliations

  1. 1.Universidade Federal de PelotasPelotasBrazil
  2. 2.Royal Holloway, University of LondonEghamUnited Kingdom

Bibliographic information

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