Formal Methods: Foundations and Applications

20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

  • Simone Cavalheiro
  • José Fiadeiro
Conference proceedings SBMF 2017

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

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Invited Talks

  3. Formal Methods Integration and Experience Reports

    1. Front Matter
      Pages 13-13
    2. Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon
      Pages 15-32
    3. Neda Saeedloei, Feliks Kluźniak
      Pages 33-51
    4. Lucio Mauro Duarte, Leila Ribeiro
      Pages 52-69
    5. Thierry Lecomte, David Deharbe, Etienne Prun, Erwan Mottin
      Pages 70-87
  4. Model Checking

    1. Front Matter
      Pages 89-89
    2. Rodrigo Otoni, Ana Cavalcanti, Augusto Sampaio
      Pages 107-124
    3. Higo F. Albuquerque, Rodrigo F. Araújo, Iury V. Bessa, Lucas C. Cordeiro, Eddie B. de Lima Filho
      Pages 125-141
    4. Arthur Américo, Artur Vaz, Mário S. Alvim, Sérgio V. A. Campos, Annabelle McIver
      Pages 142-158
  5. Refinement and Verification

    1. Front Matter
      Pages 159-159
    2. Guillermina Cledou, José Proença, Luís S. Barbosa
      Pages 161-178
    3. Normann Decker, Philip Gottschling, Christian Hochberger, Martin Leucker, Torben Scheffel, Malte Schmitz et al.
      Pages 179-196 Open Access
    4. Roberto Metere, Andreas Lindner, Roberto Guanciale
      Pages 197-214
    5. Kênia Santos de Oliveira, Stéphane Julia
      Pages 215-232
    6. Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe
      Pages 233-250

About these proceedings

Introduction

The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.

Keywords

code generation denotational semantics distributed systems formal methods global optimization integrated development environment logic model analysis model checking model extraction real-time systems refinement runtime verification service oriented computing software verification theorem proving semantics software engineering formal logic programming languages

Editors and affiliations

  1. 1.Universidade Federal de PelotasPelotasBrazil
  2. 2.Royal Holloway, University of LondonEghamUnited Kingdom

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-70848-5
  • Copyright Information Springer International Publishing AG 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-70847-8
  • Online ISBN 978-3-319-70848-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book