Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Formal Methods: Foundations and Applications

23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Gustavo Carvalho

    1. Federal University of Pernambuco, Recife, Brazil

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Volker Stolz

    1. Western Norway University of Applied Sciences, Bergen, Norway

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

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

Included in the following conference series:

Conference proceedings info: SBMF 2020.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

About this book

This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020. Instead the symposium took place virtually due to the COVID-19 pandemic.

The 10 regular papers presented together with 3 invited talks in this book were carefully reviewed and selected from 17 submissions. The papers are organized in topical sections such as: experience reports; models, languages and semantics; and software product lines.

Chapter ‘Safety Assurance of a High Voltage Controller for an Industrial Robotic System’ is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.


Similar content being viewed by others

Keywords

Table of contents (13 papers)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Invited Talks

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Formal Verification of Neural Networks?

      • Martin Leucker
      Pages 3-7

    3. Navigating the Universe of Z3 Theory Solvers

      • Nikolaj Bjørner, Lev Nachmanson
      Pages 8-24

    4. Revisiting Refactoring Mechanics from Tool Developers’ Perspective

      • Jonhnanthan Oliveira, Rohit Gheyi, Felipe Pontes, Melina Mongiovi, Márcio Ribeiro, Alessandro Garcia
      Pages 25-42

  3. Experience Reports

    1. Front Matter

      Pages 43-43
      Download chapter PDF

    2. Safety Assurance of a High Voltage Controller for an Industrial Robotic System

      • Yvonne Murray, David A. Anisi, Martin Sirevåg, Pedro Ribeiro, Rabah Saleh Hagag
      Pages 45-63Open Access

    3. Statistical Model Checking in Drug Repurposing for Alzheimer’s Disease

      • Herbert Rausch Fernandes, Giovanni Freitas Gomes, Antonio Carlos Pinheiro de Oliveira, Sérgio Vale Aguiar Campos
      Pages 64-80

  4. Models, Languages and Semantics

    1. Front Matter

      Pages 81-81
      Download chapter PDF

    2. Calculational Proofs in Relational Graphical Linear Algebra

      • João Paixão, Paweł Sobociński
      Pages 83-100

    3. Modeling Big Data Processing Programs

      • João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante
      Pages 101-118

    4. Optimization of Timed Scenarios

      • Neda Saeedloei, Feliks Kluźniak
      Pages 119-136

    5. Reversal Fuzzy Switch Graphs

      • Suene Campos, Regivan Santiago, Manuel A. Martins, Daniel Figueiredo
      Pages 137-154

    6. Separation Logic-Based Verification Atop a Binary-Compatible Filesystem Model

      • Mihir Parang Mehta, William R. Cook
      Pages 155-170

  5. Software Product Lines

    1. Front Matter

      Pages 171-171
      Download chapter PDF

    2. Merging Cloned Alloy Models with Colorful Refactorings

      • Chong Liu, Nuno Macedo, Alcino Cunha
      Pages 173-191

    3. Porting the Software Product Line Refinement Theory to the Coq Proof Assistant

      • Thayonara Alves, Leopoldo Teixeira, Vander Alves, Thiago Castro
      Pages 192-209

    4. Safe Evolution of Product Lines Using Configuration Knowledge Laws

      • Leopoldo Teixeira, Rohit Gheyi, Paulo Borba
      Pages 210-227

  6. Back Matter

    Pages 229-229
    Download chapter PDF
Back to top

Other volumes

  1. Formal Methods: Foundations and Applications

Editors and Affiliations

  • Federal University of Pernambuco, Recife, Brazil

    Gustavo Carvalho

  • Western Norway University of Applied Sciences, Bergen, Norway

    Volker Stolz

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation