Skip to main content
SpringerLink
Log in

Formal Methods: Foundations and Applications

19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Leila Ribeiro

    1. Universidad Federal do Rio Grande do Sul, Porto Alegre, Brazil

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Thierry Lecomte

    1. ClearSy, Aix en Provence, France

    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 10090)

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

Included in the following conference series:

Conference proceedings info: SBMF 2016.

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 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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 (14 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Invited Talks

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Formal Model-Based Constraint Solving and Document Generation

      • Michael Leuschel
      Pages 3-20

    3. Formal Testing from Natural Language in an Industrial Context

      • Augusto Sampaio, Filipe Arruda
      Pages 21-38

  3. Analysis and Verification

    1. Front Matter

      Pages 39-39
      Download chapter PDF

    2. Application of Formal Methods to Verify Business Processes

      • Luis E. Mendoza Morales, Carlos Monsalve, Mónica Villavicencio
      Pages 41-58

    3. An Approach for Verifying Educational Robots

      • Sidney Nogueira, Taciana Pontual Falcão, Alexandre Mota, Emanuel Oliveira, Itamar Moraes, Iverson Pereira
      Pages 59-77

    4. Verigraph: A System for Specification and Analysis of Graph Grammars

      • Andrei Costa, Jonas Bezerra, Guilherme Azzi, Leonardo Rodrigues, Thiago Rafael Becker, Ricardo Gabriel Herdt et al.
      Pages 78-94

  4. Modeling and Logic

    1. Front Matter

      Pages 95-95
      Download chapter PDF

    2. Modelling ‘Operation-Calls’ in Event-B with Shared-Event Composition

      • Andrew Edmunds, Marina Waldén
      Pages 97-111

    3. Algebraic Foundations for Specification Refinements

      • Pablo F. Castro, Nazareno Aguirre
      Pages 112-128

    4. On Interval Dynamic Logic

      • Regivan H. N. Santiago, Benjamín Bedregal, Alexandre Madeira, Manuel A. Martins
      Pages 129-144

    5. An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications

      • Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre et al.
      Pages 145-160

    6. A Refinement Repair Algorithm Based on Refinement Game for KMTS Models

      • Efraim Machado, Aline Andrade
      Pages 161-178

    7. Massive Open Online Courses and Monoids

      • Hugo Farias, Christiano Braga, Paulo B. Menezes
      Pages 179-195

  5. Model Checking

    1. Front Matter

      Pages 197-197
      Download chapter PDF

    2. A Bounded Model Checker for Three-Valued Abstractions of Concurrent Software Systems

      • Nils Timm, Stefan Gruner, Matthias Harvey
      Pages 199-216

    3. Model Checking Requirements

      • Sérgio Barza, Gustavo Carvalho, Juliano Iyoda, Augusto Sampaio, Alexandre Mota, Flávia Barros
      Pages 217-234

    4. Refinement Verification of Sequence Diagrams Using CSP

      • Lucas Lima, Juliano Iyoda, Augusto Sampaio
      Pages 235-252

  6. Back Matter

    Pages 253-253
    Download chapter PDF
Back to top

Other volumes

  1. Formal Methods: Foundations and Applications

Keywords

About this book

This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.


The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.




Editors and Affiliations

  • Universidad Federal do Rio Grande do Sul, Porto Alegre, Brazil

    Leila Ribeiro

  • ClearSy, Aix en Provence, France

    Thierry Lecomte

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation