Formal Methods, Foundations and Applications

14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

  • Adenilso Simao
  • Carroll Morgan
Conference proceedings SBMF 2011

DOI: 10.1007/978-3-642-25032-3

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

Table of contents

  1. Front Matter
  2. Harald König, Michael Löwe, Christoph Schulz
    Pages 1-15
  3. Roderick Chapman, Eric Botcazou, Angela Wallenburg
    Pages 16-27
  4. Yannick Welsch, Arnd Poetzsch-Heffter
    Pages 28-43
  5. Marcel Vinicius Medeiros Oliveira, David B. P. Déharbe, Luís C. D. S. Cruz
    Pages 44-59
  6. Pedro Matiello, Ana C. V. de Melo
    Pages 76-91
  7. Dominik Steenken, Heike Wehrheim, Daniel Wonisch
    Pages 92-107
  8. Christiano Braga, Roberto Menezes, Thiago Comicio, Cassio Santos, Edson Landim
    Pages 108-123
  9. Viorel Preoteasa
    Pages 140-155
  10. Diego Machado Dias, Juliano Manabu Iyoda
    Pages 156-171
  11. Sara Kalvala, Richard Warburton
    Pages 172-187
  12. Christophe Chareton, Julien Brunel, David Chemouil
    Pages 188-203
  13. Back Matter

About these proceedings


This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 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.


fault tolerance model-driven engineering optimization theorem proving verification

Editors and affiliations

  • Adenilso Simao
    • 1
  • Carroll Morgan
    • 2
  1. 1.Institute of Mathematics and Computer ScienceUniversity of São PauloSão CarlosBrazil
  2. 2.School of Computer Science and EngineeringUniversity of New South WalesSydneyAustralia

Bibliographic information

  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-25031-6
  • Online ISBN 978-3-642-25032-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349