Developing correct, distributed, adaptive software - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Science of Computer Programming Year : 2015

Developing correct, distributed, adaptive software


We illustrate our approach to develop and verify distributed, adaptive software systems. The cornerstone of our framework is the use of choreography languages, which allow us to obtain correctness by construction. Workflow Patterns are also used as abstract tools to design real systems, while techniques based on abstract interpretation and on dynamic verification are integrated in our framework to reduce the complexity of verification
Fichier principal
Vignette du fichier
scp_2013_full.pdf (86.57 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01227610 , version 1 (11-11-2015)



Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro. Developing correct, distributed, adaptive software. Science of Computer Programming, 2015, ⟨10.1016/j.scico.2013.11.019⟩. ⟨hal-01227610⟩
88 View
170 Download



Gmail Facebook X LinkedIn More