Formal Methods: Foundations and Applications

15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

  • Rohit Gheyi
  • David Naumann
Conference proceedings SBMF 2012

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

Table of contents

  1. Front Matter
  2. John Rushby
    Pages 1-1
  3. Araceli Acosta, Cecilia Kilmurray, Pablo F. Castro, Nazareno M. Aguirre
    Pages 3-18
  4. Fernando A. F. Braz, Jader S. Cruz, Alessandra C. Faria-Campos, Sérgio V. A. Campos
    Pages 35-50
  5. Ernesto C. B. de Matos, Anamaria Martins Moreira
    Pages 51-66
  6. Gustavo Carvalho, Diogo Falcão, Alexandre Mota, Augusto Sampaio
    Pages 67-82
  7. Simone André da Costa Cavalheiro, Luciana Foss, Leila Ribeiro
    Pages 83-98
  8. Jim Davies, Jeremy Gibbons, David Milward, James Welch
    Pages 99-114
  9. André Didier, Alexandre Mota
    Pages 115-130
  10. Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu, Shengchao Qin
    Pages 131-146
  11. Germán Regis, Nicolás Ricci, Nazareno M. Aguirre, Tom Maibaum
    Pages 147-162
  12. Christoph Schulz, Michael Löwe, Harald König
    Pages 163-178
  13. Emil Sekerinski, Tian Zhang
    Pages 179-193
  14. Subodh Sharma, Ganesh Gopalakrishnan, Greg Bronevetsky
    Pages 194-209
  15. Dante Zanarini, Carlos Luna, Luis Sierra
    Pages 210-225
  16. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. 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

  • Rohit Gheyi
    • 1
  • David Naumann
    • 2
  1. 1.Departamento de Sistemas e ComputacaoUniversidade Federal de Campina GrandeCampina GrandeBrazil
  2. 2.Department of Computer ScienceStevens Institute of TechnologyHobokenUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-33295-1
  • Online ISBN 978-3-642-33296-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment