Formal Methods: Foundations and Applications

16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings

Editors:

ISBN: 978-3-642-41070-3 (Print) 978-3-642-41071-0 (Online)

Table of contents (16 chapters)

  1. Front Matter

    Pages -

  2. No Access

    Book Chapter

    Pages 1-16

    Meaningful Models

  3. No Access

    Book Chapter

    Pages 17-17

    Deductive Generalization

  4. No Access

    Book Chapter

    Pages 18-33

    Unifying Theories of Logic and Specification

  5. No Access

    Book Chapter

    Pages 34-50

    Institution-Based Semantics for MOF and QVT-Relations

  6. No Access

    Book Chapter

    Pages 51-66

    Derivation and Verification of Parallel Components for the Needs of an HPC Cloud

  7. No Access

    Book Chapter

    Pages 67-82

    An Executable Semantics for a Multimedia Authoring Language

  8. No Access

    Book Chapter

    Pages 83-98

    On the Use of SPIN for Studying the Behavior of Nested Petri Nets

  9. No Access

    Book Chapter

    Pages 99-114

    Specifying a Linked Data Structure in JML for Formal Verification and Runtime Checking

  10. No Access

    Book Chapter

    Pages 115-130

    Toward the Revision of CTL Models through Kripke Modal Transition Systems

  11. No Access

    Book Chapter

    Pages 131-146

    Formal Analysis of Information Flow Using Min-Entropy and Belief Min-Entropy

  12. No Access

    Book Chapter

    Pages 147-162

    Theorem Proving Graph Grammars: Strategies for Discharging Proof Obligations

  13. No Access

    Book Chapter

    Pages 163-178

    A Refinement Framework for Autonomous Agents

  14. No Access

    Book Chapter

    Pages 179-194

    A Formal Semantics for SysML Activity Diagrams

  15. No Access

    Book Chapter

    Pages 195-210

    Formal Analysis of Memory Contention in a Multiprocessor System

  16. No Access

    Book Chapter

    Pages 211-226

    Algebraic Graph Transformations with Inheritance

  17. No Access

    Book Chapter

    Pages 227-242

    Generating Protocol Software from CPN Models Annotated with Pragmatics

  18. Back Matter

    Pages -