Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings

✍ Scribed by Giuseppe Castagna (auth.), Roberto Bruni, Juergen Dingel (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2011
• Tongue: English
• Leaves: 361
• Series: Lecture Notes in Computer Science 6722 Programming and Software Engineering
• Edition: 1
• Category: Library

✦ Synopsis

This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June 2011, as one of the DisCoTec 2011 events. The 21 revised full papers presented together with one invited talk were carefully reviewed and selected from 65 submissions. The topics covered are formal verification, formal modeling and specification, run-time monitoring, and testing to address challenges in many different application areas, including dynamic and ad hoc networks, mobile and adaptive computation, reactive and timed systems, business processes, and distributed and concurrent systems and algorithms.

✦ Table of Contents

Front Matter....Pages -
On Global Types and Multi-party Sessions....Pages 1-28
Linear-Time and May-Testing in a Probabilistic Reactive Setting....Pages 29-43
A Model-Checking Tool for Families of Services....Pages 44-58
Partial Order Methods for Statistical Model Checking and Simulation....Pages 59-74
Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking....Pages 75-89
Adaptable Processes (Extended Abstract)....Pages 90-105
A Framework for Verifying Data-Centric Protocols....Pages 106-120
Relational Concurrent Refinement: Timed Refinement....Pages 121-137
Galois Connections for Flow Algebras....Pages 138-152
An Accurate Type System for Information Flow in Presence of Arrays....Pages 153-167
Analysis of Deadlocks in Object Groups....Pages 168-182
Monitoring Distributed Systems Using Knowledge....Pages 183-197
Global State Estimates for Distributed Systems....Pages 198-212
A Process Calculus for Dynamic Networks....Pages 213-227
On Asynchronous Session Semantics....Pages 228-243
Towards Verification of the Pastry Protocol Using TLA  +  ....Pages 244-258
Dynamic Soundness in Resource-Constrained Workflow Nets....Pages 259-273
SimGrid MC: Verification Support for a Multi-API Simulation Platform....Pages 274-288
Ownership Types for the Join Calculus....Pages 289-303
Contracts for Multi-instance UML Activities....Pages 304-318
Annotation Inference for Separation Logic Based Verifiers....Pages 319-333
Analyzing BGP Instances in Maude....Pages 334-348
Back Matter....Pages -

✦ Subjects

Computer Communication Networks; Programming Techniques; Software Engineering; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Mathematical Logic and Formal Languages