Formal Methods: Foundations and Applications

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

  • Leila Ribeiro
  • Thierry Lecomte
Conference proceedings SBMF 2016

DOI: 10.1007/978-3-319-49815-7

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

Table of contents

  1. Front Matter
    Pages I-X
    PDF

  2. Invited Talks

    1. Front Matter
      Pages 1-1
      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
      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
      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
      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
    PDF

About these proceedings

Introduction

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.


Keywords

automata theory concurrent systems model checking program verification timed automata business process computer-aided education e-learning educational robotics formal methods heuristics logic model refinement modeling and simulation rewriting logic semantics software creation and management software validation theory of security UML

Editors and affiliations

  • Leila Ribeiro
    • 1
  • Thierry Lecomte
    • 2
  1. 1.Universidad Federal do Rio Grande do SulPorto AlegreBrazil
  2. 2.ClearSyAix en ProvenceFrance

Bibliographic information

  • Copyright Information Springer International Publishing AG 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-49814-0
  • Online ISBN 978-3-319-49815-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349