Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

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. Front Matter....Pages - Model Transformation and Induced Instance Migration: A Universal Framework....Pages 1-15 SPARKSkein: A Formal and Fast Reference Implementation of Skein....Pages 16-27 Full Abstraction at Package Boundaries of Object-Oriented Languages....Pages 28-43 B to CSP Migration: Towards a Formal and Automated Model-Driven Engineering of Hardware/Software Co-design....Pages 44-59 Simulation and Verification of Synchronous Set Relations in Rewriting Logic....Pages 60-75 PiStache : Implementing π -Calculus in Scala....Pages 76-91 Sound and Complete Abstract Graph Transformation....Pages 92-107 On the Specification, Verification and Implementation of Model Transformations with Transformation Contracts....Pages 108-123 Modular Embedding of the Object Constraint Language into a Programming Language....Pages 124-139 Algebra of Monotonic Boolean Transformers....Pages 140-155 Behavioural Preservation in Fault Tolerant Patterns....Pages 156-171 A Formal Approach to Fixing Bugs....Pages 172-187 A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic....Pages 188-203 Back Matter....Pages - This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 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