Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings

✍ Scribed by Holger Hermanns (auth.), Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2011
• Tongue: English
• Leaves: 517
• Series: Lecture Notes in Computer Science 7041
• Edition: 1
• Category: Library

✦ Synopsis

This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Uruguay, in November 2011.
The 22 revised regular papers presented together with 1 short paper, 2 tool papers, and 4 keynote talks were carefully reviewed and selected from 105 initial abstracts and 85 full submissions. Besides the regular session the conference held a special track devoted to "Modeling for Sustainable Development" with 5 accepted papers - selected from 7 submissions - that are also part of this volume. The aim of SEFM is to advance the state of the art in formal methods, to scale up their application in software industry and to encourage their integration with practical engineering methods.

✦ Table of Contents

Front Matter....Pages -
Formal Methods in Energy Informatics....Pages 1-2
Formal Methods as a Link between Software Code and Legal Rules....Pages 3-18
Developing Model-Checking Mechanisms for ASSL: An Experience Report....Pages 19-34
Models and Communication in the Policy Process....Pages 35-37
Distributed Implementation of Systems with Multiparty Interactions and Priorities....Pages 38-57
Verification of PLC Properties Based on Formal Semantics in Coq....Pages 58-73
Broadcast Psi-calculi with an Application to Wireless Protocols....Pages 74-89
A Formalisation of Java Strings for Program Specification and Verification....Pages 90-105
dCTL : A Branching Time Temporal Logic for Fault-Tolerant System Verification....Pages 106-121
A Machine-Checked Framework for Relational Separation Logic....Pages 122-137
A Dataflow Analysis to Improve SAT-Based Bounded Program Verification....Pages 138-154
Reverse Hoare Logic....Pages 155-171
Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods....Pages 172-187
Verification of B  +  Trees: An Experiment Combining Shape Analysis and Interactive Theorem Proving....Pages 188-203
Runtime Verification of Component-Based Systems....Pages 204-220
Translating Alloy Specifications to UML Class Diagrams Annotated with OCL....Pages 221-236
Safe Distribution of Declarative Processes....Pages 237-252
Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving....Pages 253-268
Hybrid Specification of Reactive Systems: An Institutional Approach....Pages 269-285
Leveraging State-Based User Preferences in Context-Aware Reconfigurations for Self-Adaptive Systems....Pages 286-301
Context-Bounded Model Checking of LTL Properties for ANSI-C Software....Pages 302-317
Modular Modelling of Software Product Lines with Feature Nets....Pages 318-333
Synchronizing Asynchronous Conformance Testing....Pages 334-349
Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications....Pages 350-365
ProMoVer: Modular Verification of Temporal Safety Properties....Pages 366-381
Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques....Pages 382-398
Efficient Computation of Dominance in Component Systems (Short Paper)....Pages 399-406
The Boogie Verification Debugger (Tool Paper)....Pages 407-414
Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude....Pages 415-430
Towards an Agent-Based Methodology for Developing Agro-Ecosystem Simulations....Pages 431-446
Development Policy Analysis in Mali: Sustainable Growth Prospects....Pages 447-463
Using System Dynamics to Assess the Role of Socio-economic Status in Tuberculosis Incidence....Pages 464-475
Energy Consumption and CO 2 Emissions of Beijing Heating System: Based on a System Dynamics Model....Pages 476-485
A Formal Approach to Analysing Knowledge Transfer Processes in Developing Countries....Pages 486-501
Back Matter....Pages -

✦ Subjects

Software Engineering; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Programming Techniques; Computer Communication Networks; Artificial Intelligence (incl. Robotics)