Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

DIVERMAS

Financiado

Cerrado

Distributed Systems Verification with MAS based Model Checking

The field of distributed systems is concerned with development of spatially distributed (software) components that cooperate to perform a common task. Multi agent systems (MAS) is a field in artificial intelligence and is concerne... ver más

31/12/2012

IMPERIAL COLLEGE O...

166K€

Presupuesto del proyecto: 166K€

Líder del proyecto

IMPERIAL COLLEGE OF SCIENCE TECHNOLOGY AND ME... No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Fecha límite participación Sin fecha límite de participación.

Financiación concedida El organismo FP7 notifico la concesión del proyecto el día 2012-12-31 No tenemos la información de la convocatoria

0% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

1 Participantes

IMPERIAL COLLEGE OF SCIENCE...

0.00€ | Lider

Proyectos interesantes

TIN2011-27652-C03-02

Software

Artificial Inte...

65K€ Cerrado

TIN2011-27652-C03-01

Software

Artificial Inte...

221K€ Cerrado

VAPA

Software

Artificial Inte...

209K€ Cerrado

JCI-2008-2619

Software

Artificial Inte...

101K€ Cerrado

PaVeS

Software

Robotics and Au...

2M€ Cerrado

TIN2008-04446

Software

Artificial Inte...

129K€ Cerrado

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Líder del proyecto

IMPERIAL COLLEGE OF SCIENCE TECHNOLOGY AND ME... No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 166K€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto The field of distributed systems is concerned with development of spatially distributed (software) components that cooperate to perform a common task. Multi agent systems (MAS) is a field in artificial intelligence and is concerned with comparable problems on a higher level of abstraction. Although applications in both fields are similar, there is little work on combining the approaches. The DiVerMAS project will make a key contribution to both fields of research by introducing verification of MAS based specifications to distributed systems. This will provide developers of distributes systems with an easy to use language amenable to verification against rich agent-based specifications and give MAS developers an alternative developing process using an object oriented modelling language. The research project builds upon recent developments in both fields and the expertise of the applicant and supervisor in distributed systems and verification of MAS respectively. The collaboration will connect the verification toolkit MCMAS with the modelling language Creol and establish new links within the European research communities related with these tools.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores