Formal Methods: Foundations and Applications

1. Front Matter

   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

    PDF

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.

• fault tolerance
• model-driven engineering
• optimization
• theorem proving
• verification

• 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

Policies and ethics