Skip to main content
Springer Nature Link
Log in

Formal Methods: Foundations and Applications

14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Adenilso Simao

    1. Institute of Mathematics and Computer Science, University of São Paulo, São Carlos, Brazil

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Carroll Morgan

    1. School of Computer Science and Engineering, University of New South Wales, Sydney, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up-to-date results
  • Fast track conference proceedings
  • State-of-the-art report

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

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

Included in the following conference series:

Conference proceedings info: SBMF 2011.

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 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

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 thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.

Similar content being viewed by others

Keywords

Table of contents (13 papers)

  1. Front Matter

    Download chapter PDF

  2. Model Transformation and Induced Instance Migration: A Universal Framework

    • Harald König, Michael Löwe, Christoph Schulz
    Pages 1-15

  3. SPARKSkein: A Formal and Fast Reference Implementation of Skein

    • Roderick Chapman, Eric Botcazou, Angela Wallenburg
    Pages 16-27

  4. Full Abstraction at Package Boundaries of Object-Oriented Languages

    • Yannick Welsch, Arnd Poetzsch-Heffter
    Pages 28-43

  5. B to CSP Migration: Towards a Formal and Automated Model-Driven Engineering of Hardware/Software Co-design

    • Marcel Vinicius Medeiros Oliveira, David B. P. Déharbe, Luís C. D. S. Cruz
    Pages 44-59

  6. Simulation and Verification of Synchronous Set Relations in Rewriting Logic

    • Camilo Rocha, César Muñoz
    Pages 60-75

  7. PiStache: Implementing π-Calculus in Scala

    • Pedro Matiello, Ana C. V. de Melo
    Pages 76-91

  8. Sound and Complete Abstract Graph Transformation

    • Dominik Steenken, Heike Wehrheim, Daniel Wonisch
    Pages 92-107

  9. On the Specification, Verification and Implementation of Model Transformations with Transformation Contracts

    • Christiano Braga, Roberto Menezes, Thiago Comicio, Cassio Santos, Edson Landim
    Pages 108-123

  10. Modular Embedding of the Object Constraint Language into a Programming Language

    • Fabian Büttner, Martin Gogolla
    Pages 124-139

  11. Algebra of Monotonic Boolean Transformers

    • Viorel Preoteasa
    Pages 140-155

  12. Behavioural Preservation in Fault Tolerant Patterns

    • Diego Machado Dias, Juliano Manabu Iyoda
    Pages 156-171

  13. A Formal Approach to Fixing Bugs

    • Sara Kalvala, Richard Warburton
    Pages 172-187

  14. A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic

    • Christophe Chareton, Julien Brunel, David Chemouil
    Pages 188-203

  15. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Formal Methods: Foundations and Applications

Editors and Affiliations

  • Institute of Mathematics and Computer Science, University of São Paulo, São Carlos, Brazil

    Adenilso Simao

  • School of Computer Science and Engineering, University of New South Wales, Sydney, Australia

    Carroll Morgan

Bibliographic Information

Publish with us

Policies and ethics

Back to top