Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings

✍ Scribed by Christiano Braga, Cássio Santos (auth.), Juliano Iyoda, Leonardo de Moura (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2013
• Tongue: English
• Leaves: 252
• Series: Lecture Notes in Computer Science 8195
• Edition: 1
• Category: Library

✦ Synopsis

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.

✦ Table of Contents

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 -

✦ Subjects

Computer Science, general