Formal Methods: Foundations and Applications

18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

  • Márcio Cornélio
  • Bill Roscoe
Conference proceedings SBMF 2015

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 9526)

Table of contents

  1. Front Matter
    Pages I-XVIII
  2. Model Checking

  3. Languages and Semantics

    1. Front Matter
      Pages 37-37
    2. Jim Woodcock, Andy Wellings, Ana Cavalcanti
      Pages 39-55
    3. Christophe Chareton, Julien Brunel, David Chemouil
      Pages 56-73
  4. Refinement and Verification

    1. Front Matter
      Pages 91-91
    2. Alvaro Miyazawa, Ana Cavalcanti
      Pages 93-109
    3. Tarciana Dias da Silva, Augusto Sampaio, Alexandre Mota
      Pages 110-126
    4. Rodrigo Ribeiro, Carlos Camarão
      Pages 127-141
  5. Testing and Evaluation

    1. Front Matter
      Pages 143-143
    2. Sidney Nogueira, Hugo L. S. Araujo, Renata B. S. Araujo, Juliano Iyoda, Augusto Sampaio
      Pages 145-161
    3. Valdivino Alexandre de Santiago Júnior, Sofiène Tahar
      Pages 162-177
    4. Bruno Cesar F. Silva, Gustavo Carvalho, Augusto Sampaio
      Pages 178-193
  6. Back Matter
    Pages 195-195

About these proceedings


This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015.

The 11 papers presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections named: model checking; languages and semantics; refinement and verification; testing and evaluation.


formal languages models of computation semantics and reasoning software system models system description languages abstraction, modeling and modularity automata theory concurrent systems data structures formal methods heuristics Java logic model simulation program transformations real-time systems software software testing software validation software verification validation

Editors and affiliations

  • Márcio Cornélio
    • 1
  • Bill Roscoe
    • 2
  1. 1.Universidade Federal de PernambucoRecife - PEBrazil
  2. 2.University of OxfordOxfordUnited Kingdom

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-29472-8
  • Online ISBN 978-3-319-29473-5
  • 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