Developing correct, distributed, adaptive software
We develop a methodology for verifying distributed, adaptive software systems. The cornerstone of our framework is the use of choreography languages. We integrate also different techniques based on abstract interpretation and on dynamic verification.
adaptation choreography languages abstract interpretation