Formal Methods: Foundations and Applications

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

  • Juliano Iyoda
  • Leonardo de Moura

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