Skip to main content
SpringerLink
Log in

Formal Methods: Foundations and Applications

17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Christiano Braga

    1. Universidade Federal Fluminense, Niterói, Brazil

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Narciso Martí-Oliet

    1. Universidad Complutense de Madrid, Madrid, Spain

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

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

Included in the following conference series:

Conference proceedings info: SBMF 2014.

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

  1. Front Matter

    Pages I-IX
    Download chapter PDF

  2. LLVM-Based Code Generation for B

    • Richard Bonichon, David Déharbe, Thierry Lecomte, Valério Medeiros Jr
    Pages 1-16

  3. Equational Abstractions in Rewriting Logic and Maude

    • Narciso Martí-Oliet, Francisco Durán, Alberto Verdejo
    Pages 17-31

  4. Formalization of Zsyntax to Reason About Molecular Pathways in HOL4

    • Sohaib Ahmad, Osman Hasan, Umair Siddique, Sofiéne Tahar
    Pages 32-47

  5. Towards a Family of Test Selection Criteria for Symbolic Models of Real-Time Systems

    • Diego R. Almeida, Alan Moraes, Wilkerson L. Andrade, Patrícia D. L. Machado
    Pages 48-63

  6. Model-Driven Engineering in the Heterogeneous Tool Set

    • Daniel Calegari, Till Mossakowski, Nora Szasz
    Pages 64-79

  7. A Coinductive Animation of Turing Machines

    • Alberto Ciaffaglione
    Pages 80-95

  8. Towards Completeness in Bounded Model Checking Through Automatic Recursion Depth Detection

    • Grigory Fedyukovich, Natasha Sharygina
    Pages 96-112

  9. A Probabilistic Model Checking Analysis of a Realistic Vehicular Networks Mobility Model

    • Bruno Ferreira, Fernando A. F. Braz, Sérgio V. A. Campos
    Pages 113-129

  10. A Dynamic Logic for Every Season

    • Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís S. Barbosa
    Pages 130-145

  11. Completeness and Decidability Results for Hybrid(ised) Logics

    • Renato Neves, Manuel A. Martins, Luís S. Barbosa
    Pages 146-161

  12. Parameterisation of Three-Valued Abstractions

    • Nils Timm, Stefan Gruner
    Pages 162-178

  13. Back Matter

    Pages 179-179
    Download chapter PDF
Back to top

Other volumes

  1. Formal Methods: Foundations and Applications

Keywords

About this book

This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September/October 2014.

The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area.

Editors and Affiliations

  • Universidade Federal Fluminense, Niterói, Brazil

    Christiano Braga

  • Universidad Complutense de Madrid, Madrid, Spain

    Narciso Martí-Oliet

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation