Formal Methods: Foundations and Applications
14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings
Editors: Simao, Adenilso, Morgan, Carroll (Eds.)
Free Preview- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
Buy this book
- 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.
- Table of contents (13 chapters)
-
-
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
-
Table of contents (13 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Formal Methods: Foundations and Applications
- Book Subtitle
- 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings
- Editors
-
- Adenilso Simao
- Carroll Morgan
- Series Title
- Programming and Software Engineering
- Series Volume
- 7021
- Copyright
- 2011
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag GmbH Berlin Heidelberg
- eBook ISBN
- 978-3-642-25032-3
- DOI
- 10.1007/978-3-642-25032-3
- Softcover ISBN
- 978-3-642-25031-6
- Edition Number
- 1
- Number of Pages
- X, 205
- Topics
