Formal Methods: Foundations and Applications

13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

  • Jim Davies
  • Leila Silva
  • Adenilso Simao
Conference proceedings SBMF 2010

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

Table of contents

  1. Front Matter
  2. Michael Leuschel, Jens Bendisposto
    Pages 1-16
  3. Wojciech Mostowski, Erik Poll
    Pages 17-32
  4. Pedro Crispim, Antónia Lopes, Vasco T. Vasconcelos
    Pages 33-48
  5. Sabina Akhtar, Stephan Merz, Martin Quinson
    Pages 49-63
  6. Paulo Salem da Silva, Ana C. V. de Melo
    Pages 64-79
  7. Sebastian S. Bauer, Rolf Hennicker, Michel Bidoit
    Pages 80-95
  8. Tiago Massoni, Rohit Gheyi, Paulo Borba
    Pages 96-111
  9. Daniel Calegari, Carlos Luna, Nora Szasz, Álvaro Tasistro
    Pages 112-127
  10. Moritz Kleine, J. W. Sanders
    Pages 128-143
  11. Håkan L. S. Younes, Edmund M. Clarke, Paolo Zuliani
    Pages 144-160
  12. Alejandro Tamalet, Ken Madlener
    Pages 161-176
  13. Abderrahman Matoussi, Frédéric Gervais, Régine Laleau
    Pages 177-193
  14. Eduardo Mazza, Marie-Laure Potet, Daniel Le Métayer
    Pages 194-209
  15. Artur O. Gomes, Marcel V. M. Oliveira
    Pages 210-225
  16. Marcello Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan Rutten, Alexandra Silva
    Pages 226-241
  17. Thomas Martin Gawlitza, Helmut Seidl, Kumar Neeraj Verma
    Pages 242-257
  18. Zhiming Liu, Charles Morisset, Shuling Wang
    Pages 258-273
  19. Frank Zeyda, Ana Cavalcanti
    Pages 274-290
  20. Back Matter

About these proceedings


This book constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in Natal, Brazil, in November 2010. The 18 revised full papers were carefully reviewed and selected from 55 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.


model checking model transformation program verification runtime verification systems modeling

Editors and affiliations

  • Jim Davies
    • 1
  • Leila Silva
    • 2
  • Adenilso Simao
    • 3
  1. 1.Department of Computer ScienceOxford UniversityOxfordUK
  2. 2.Departamento de Ciência da Computação e EstatísticaUniversidade Federal de SergipeAracajuBrazil
  3. 3.Avenida Frabalhador, são-carlenseSão CarlosBrazil

Bibliographic information

Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment