Credo: Modeling and analysis of evolutionary structures for distributed services (completed)


  European project within the framework of FP6, priority 2, ``Information Society Technologies'', call 5, activity IST-2005-2.5.5 Software and Services, project number IST-33826. (1. Sept. 2006 - 31. Aug. 2009)

In a nutshell

The objective of this project is the development and application of an integrated suite of tools for compositional modelling, testing, and validation of software for evolving networks of dynamically reconfigurable components.


Further information


For a comprehensive web-representation of the project, it's goals,
particpating partners and results see the official .

Tags: Credo, formal methods, distributed systems, Creol
Published Mar. 15, 2011 9:59 PM - Last modified Nov. 5, 2021 8:17 AM