Formal Techniques for Distributed Objects, Components, and Systems

This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2015, held in Grenoble, France, in June 2015, as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015. The 15 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods

[1]  Giorgio Delzanno,et al.  Verification of Ad Hoc Networks with Node and Communication Failures , 2012, FMOODS/FORTE.

[2]  Bengt Jonsson,et al.  Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols , 2008, TACAS.

[3]  Kedar S. Namjoshi,et al.  Analysis of Dynamic Process Networks , 2015, TACAS.

[4]  Annabelle McIver,et al.  Automated Analysis of AODV Using UPPAAL , 2012, TACAS.

[5]  K. Mani Chandy,et al.  Proofs of Networks of Processes , 1981, IEEE Transactions on Software Engineering.

[6]  Jacob Beal,et al.  A Calculus of Computational Fields , 2013, ESOCC Workshops.

[7]  永田 守男,et al.  Verifying Properties of Parallel Programs : An Axiomatic Approach , 1976 .

[8]  Franco Zambonelli,et al.  Spatial Coordination of Pervasive Services through Chemical-Inspired Tuple Spaces , 2011, TAAS.

[9]  Giorgio Delzanno,et al.  Parameterized Verification of Safety Properties in Ad Hoc Network Protocols , 2011, PACO.

[10]  K. Mani Chandy,et al.  Parallel program design - a foundation , 1988 .

[11]  Carl A. Gunter,et al.  Formal verification of standards for distance vector routing protocols , 2002, JACM.

[12]  Annabelle McIver,et al.  A rigorous analysis of AODV and its variants , 2012, MSWiM '12.

[13]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[14]  Mirko Viroli,et al.  A Calculus of Self-stabilising Computational Fields , 2014, COORDINATION.

[15]  Sarah Edenhofer,et al.  Towards a rigorous analysis of AODVv2 (DYMO) , 2012, 2012 20th IEEE International Conference on Network Protocols (ICNP).

[16]  Kohei Honda,et al.  An Interaction-based Language and its Typing System , 1994, PARLE.

[17]  David L. Dill,et al.  Counter-Example Based Predicate Discovery in Predicate Abstraction , 2002, FMCAD.

[18]  Giorgio Delzanno,et al.  On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks , 2012, FSTTCS.

[19]  Ahmed Bouajjani,et al.  A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes , 2007, TACAS.