Skip to main content
SpringerLink
Log in

Formal Methods: Foundations and Applications

24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings

  • Conference proceedings
  • © 2021

Overview

Editors:
  1. Sérgio Campos

    1. Departamento de Ciência da Computação, Universidade Federal de Minas Gerais, Belo Horizonte, Brazil

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Marius Minea

    1. College of Information and Computer Sciences, University of Massachusetts, Amherst, USA

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

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

Included in the following conference series:

Conference proceedings info: SBMF 2021.

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

  1. Front Matter

    Pages i-ix
    Download chapter PDF

  2. A Two-Level Approach Based on Model Checking to Support Architecture Conformance Checking

    • Bruno Menezes, Ana Teresa Martins, Thiago Alves Rocha
    Pages 1-16

  3. Statistical Model Checking for Traffic Models

    • B. Thamilselvam, Subrahmanyam Kalyanasundaram, Shubham Parmar, M. V. Panduranga Rao
    Pages 17-33

  4. Visual Specification of Properties for Robotic Designs

    • Waldeck Lindoso Jr., Sidney C. Nogueira, Renato Domingues, Lucas Lima
    Pages 34-52

  5. Model Checking and Strategy Synthesis for Multi-agent Systems for Resource Allocation

    • Nils Timm, Josua Botha
    Pages 53-69

  6. Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata

    • Abdulrazaq Abba, Ana Cavalcanti, Jeremy Jacob
    Pages 70-86

  7. Module Integration Using Graph Grammars (MIGRATE)

    • Diogo Raphael Cravo, Leila Ribeiro
    Pages 87-103

  8. Cost Analysis for an Actor-Based Workflow Modelling Language

    • Muhammad Rizwan Ali, Violet Ka I Pun
    Pages 104-121

  9. Minimization of the Number of Clocks for Timed Scenarios

    • Neda Saeedloei, Feliks Kluźniak
    Pages 122-139

  10. Back Matter

    Pages 141-141
    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 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021. Due to COVID 19-pandemic it took place virtually.
The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The papers detail the development, dissemination, and use of formal methods for the construction of high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area

Editors and Affiliations

  • Departamento de Ciência da Computação, Universidade Federal de Minas Gerais, Belo Horizonte, Brazil

    Sérgio Campos

  • College of Information and Computer Sciences, University of Massachusetts, Amherst, USA

    Marius Minea

Bibliographic Information

  • Book Title: Formal Methods: Foundations and Applications

  • Book Subtitle: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings

  • Editors: Sérgio Campos, Marius Minea

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-030-92137-8

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer Nature Switzerland AG 2021

  • Softcover ISBN: 978-3-030-92136-1Published: 26 November 2021

  • eBook ISBN: 978-3-030-92137-8Published: 25 November 2021

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: IX, 141

  • Number of Illustrations: 24 b/w illustrations, 16 illustrations in colour

  • Topics: Software Engineering/Programming and Operating Systems

Publish with us

Policies and ethics

Back to top

Search

Navigation