Skip to main content
SpringerLink
Log in

Formal Methods: Foundations and Applications

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

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Simone Cavalheiro

    1. Universidade Federal de Pelotas, Pelotas, Brazil

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. José Fiadeiro

    1. Royal Holloway, University of London, Egham, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: SBMF 2017.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 54.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (18 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  3. Formal Methods Integration and Experience Reports

    1. Front Matter

      Pages 13-13
      Download chapter PDF

    2. Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems

      • Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon
      Pages 15-32

    3. From Scenarios to Timed Automata

      • Neda Saeedloei, Feliks Kluźniak
      Pages 33-51

    4. Graph Grammar Extraction from Source Code

      • Lucio Mauro Duarte, Leila Ribeiro
      Pages 52-69

    5. Applying a Formal Method in Industry: A 25-Year Trajectory

      • Thierry Lecomte, David Deharbe, Etienne Prun, Erwan Mottin
      Pages 70-87

  4. Model Checking

    1. Front Matter

      Pages 89-89
      Download chapter PDF

    2. Encoding Floating-Point Numbers Using the SMT Theory in ESBMC: An Empirical Evaluation over the SV-COMP Benchmarks

      • Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole
      Pages 91-106

    3. Local Analysis of Determinism for CSP

      • Rodrigo Otoni, Ana Cavalcanti, Augusto Sampaio
      Pages 107-124

    4. OptCE: A Counterexample-Guided Inductive Optimization Solver

      • Higo F. Albuquerque, Rodrigo F. Araújo, Iury V. Bessa, Lucas C. Cordeiro, Eddie B. de Lima Filho
      Pages 125-141

    5. Formal Analysis of the Information Leakage of the DC-Nets and Crowds Anonymity Protocols

      • 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
      Download chapter PDF

    2. A Refinement Relation for Families of Timed Automata

      • Guillermina Cledou, José Proença, Luís S. Barbosa
      Pages 161-178

    3. Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems

      • Normann Decker, Philip Gottschling, Christian Hochberger, Martin Leucker, Torben Scheffel, Malte Schmitz et al.
      Pages 179-196Open Access

    4. Sound Transpilation from Binary to Machine-Independent Code

      • Roberto Metere, Andreas Lindner, Roberto Guanciale
      Pages 197-214

    5. Using Linear Logic to Verify Requirement Scenarios in Composite Web Service

      • Kênia Santos de Oliveira, Stéphane Julia
      Pages 215-232

    6. Checking Static Properties Using Conservative SAT Approximations for Reachability

      • Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe
      Pages 233-250
Back to top

Other volumes

  1. Formal Methods: Foundations and Applications

Keywords

About this book

This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions. They are organized in the following topical sections: formal methods integration and experience reports; model checking; refinement and verification; and semantics and languages.


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

Editors and Affiliations

  • Universidade Federal de Pelotas, Pelotas, Brazil

    Simone Cavalheiro

  • Royal Holloway, University of London, Egham, United Kingdom

    José Fiadeiro

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation