© 2015

Formal Methods: Foundations and Applications

17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

  • Christiano Braga
  • Narciso Martí-Oliet
Conference proceedings SBMF 2014

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

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

Table of contents

  1. Front Matter
    Pages I-IX
  2. Richard Bonichon, David Déharbe, Thierry Lecomte, Valério Medeiros Jr
    Pages 1-16
  3. Narciso Martí-Oliet, Francisco Durán, Alberto Verdejo
    Pages 17-31
  4. Sohaib Ahmad, Osman Hasan, Umair Siddique, Sofiéne Tahar
    Pages 32-47
  5. Diego R. Almeida, Alan Moraes, Wilkerson L. Andrade, Patrícia D. L. Machado
    Pages 48-63
  6. Daniel Calegari, Till Mossakowski, Nora Szasz
    Pages 64-79
  7. Alberto Ciaffaglione
    Pages 80-95
  8. Bruno Ferreira, Fernando A. F. Braz, Sérgio V. A. Campos
    Pages 113-129
  9. Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís S. Barbosa
    Pages 130-145
  10. Renato Neves, Manuel A. Martins, Luís S. Barbosa
    Pages 146-161
  11. Nils Timm, Stefan Gruner
    Pages 162-178
  12. Back Matter
    Pages 179-179

About these proceedings


This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September/October 2014.

The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area.


Abstraction, modeling and modularity Correctness Formal methods Real-time systems software Software system models System description languages

Editors and affiliations

  • Christiano Braga
    • 1
  • Narciso Martí-Oliet
    • 2
  1. 1.Universidade Federal FluminenseNiteróiBrazil
  2. 2.Universidad Complutense de MadridMadridSpain

Bibliographic information

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