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

DOI: 10.1007/978-3-642-33296-8

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

Introduction

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.

Keywords

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

  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-33295-1
  • Online ISBN 978-3-642-33296-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349