DIStributed and STOchastic systems, Logic


The context of this project is formal modeling, and analysis of behaviors of distributed systems. We want to address verification and supervision of distributed systems through formal modeling and automated reasoning on models. By distributed systems, we mean software architectures made of several independent communicating entities. In the 90’s the kind of system addressed was mainly telecommunication protocols. Nowadays, distributed systems are frequently web-based systems such as Web Services, but several aspects of distributed systems can be found in biological applications. Within this context, a challenge is to propose formal tools with potential applications to real systems. We want to address this challenge along three main axes: realism of models, quantitative analysis, and supervision.
Distol is an INRIA associated team, and was selected in 2013.