Formal Methods: Foundations and Applications

16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings

  • Juliano Iyoda
  • Leonardo de Moura
Conference proceedings SBMF 2013

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

Table of contents

  1. Front Matter
  2. Christiano Braga, Cássio Santos
    Pages 1-16
  3. Kenneth L. McMillan
    Pages 17-17
  4. Victor Bandur, Jim Woodcock
    Pages 18-33
  5. Daniel Calegari, Nora Szasz
    Pages 34-50
  6. Thiago Braga Marcilon, Francisco Heron de Carvalho Junior
    Pages 51-66
  7. Joel dos Santos, Christiano Braga, Débora C. Muchaluat-Saade
    Pages 67-82
  8. Mirtha Lina Fernández Venero, Flávio Soares Corrêa da Silva
    Pages 83-98
  9. Paulo T. Guerra, Aline Andrade, Renata Wassermann
    Pages 115-130
  10. Ghassen Helali, Osman Hasan, Sofiène Tahar
    Pages 131-146
  11. Luiz Carlos Lemos Junior, Simone André da Costa Cavalheiro, Luciana Foss
    Pages 147-162
  12. Qin Li, Graeme Smith
    Pages 163-178
  13. Lucas Lima, André Didier, Márcio Cornélio
    Pages 179-194
  14. Liya Liu, Osman Hasan, Sofiène Tahar
    Pages 195-210
  15. Michael Löwe, Harald König, Christoph Schulz, Marius Schultchen
    Pages 211-226
  16. Kent Inge Fagerland Simonsen, Lars M. Kristensen, Ekkart Kindler
    Pages 227-242
  17. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.


formal verification model-driven engineering probabilistic model checking software testing temporal logic

Editors and affiliations

  • Juliano Iyoda
    • 1
  • Leonardo de Moura
    • 2
  1. 1.Centro de InformáticaUFPERecifeBrazil
  2. 2.Microsoft ResearchRedmondUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-41070-3
  • Online ISBN 978-3-642-41071-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site