QUANTICOL is a European research initiative involving the University of Edinburgh, Scotland; Istituto di Scienza e Tecnologie della Informazione “A. Faedo”, Italy; IMT Lucca, Italy; INRIA, France; Ludwig-Maximilians-Universität München, Germany; Ecole Polytechnique Fédérale de Lausanne, Switzerland and the University of Southampton, UK.
The QUANTICOL project is a member of Fundamentals of Collective Adaptive Systems (FOCAS), a Future and Emerging Technologies Proactive Initiative funded by the European Commission under FP7.
The main objective of the QUANTICOL project is the development of an innovative formal design framework that provides a specification language for collective adaptive systems (CAS) and a large variety of tool-supported, scalable analysis and verification techniques. These techniques will be based on the original combination of recent breakthroughs in stochastic process algebras and associated verification techniques, and mean field/continuous approximation and control theory. Such a design framework will provide scalable extensive support for the verification of developed models, and also enable and facilitate experimentation and discovery of new design patterns for emergent behaviour and control over spatially distributed CAS.