Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings (Lecture Notes in Computer Science (8195))

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. Front Matter....Pages - Meaningful Models....Pages 1-16 Deductive Generalization....Pages 17-17 Unifying Theories of Logic and Specification....Pages 18-33 Institution-Based Semantics for MOF and QVT-Relations....Pages 34-50 Derivation and Verification of Parallel Components for the Needs of an HPC Cloud....Pages 51-66 An Executable Semantics for a Multimedia Authoring Language....Pages 67-82 On the Use of SPIN for Studying the Behavior of Nested Petri Nets....Pages 83-98 Specifying a Linked Data Structure in JML for Formal Verification and Runtime Checking....Pages 99-114 Toward the Revision of CTL Models through Kripke Modal Transition Systems....Pages 115-130 Formal Analysis of Information Flow Using Min-Entropy and Belief Min-Entropy....Pages 131-146 Theorem Proving Graph Grammars: Strategies for Discharging Proof Obligations....Pages 147-162 A Refinement Framework for Autonomous Agents....Pages 163-178 A Formal Semantics for SysML Activity Diagrams....Pages 179-194 Formal Analysis of Memory Contention in a Multiprocessor System....Pages 195-210 Algebraic Graph Transformations with Inheritance....Pages 211-226 Generating Protocol Software from CPN Models Annotated with Pragmatics....Pages 227-242 Back Matter....Pages -