Formal Methods in Distributed Systems

Chair: Sandeep Kulkarni and Sayan Mitra

Program Committee Members

Development of formal methods and distributed systems has been intimately connected. In addition to the traditional notions of correctness such as safety, fault-tolerance, liveness, security, current distributed systems are expected to demonstrate adaptability, robustness and stability. For example, a large distributed system over an ad hoc network should adapt to dynamic changes in the set of participants, an embedded distributed system should be stable with respect to environmental disturbances and failures. In order to specify and verify these types of properties existing formal methods need to be extended, and new formalisms and techniques need to be developed. In this track of SSS we welcome submissions which address these issues.

Topics of interest include but are not limited to:

• Models for distributed systems.
• Specification and programming languages.
• Verification of stability, adaptability, quantitative and probabilistic properties.
• Synthesis techniques.
• Software tools.
• Case studies in analysis, verification or design of distributed systems.
• Experiences from application of formal methods in distributed systems.