Skip nav

Projectos de I&D

Consulta de projectos homologados

Concurso de Projectos de Investigação e Desenvolvimento, no Âmbito do Programa Carnegie Mellon University - Portugal - 2009

ATTEST: Algoritmos e Ferramentas para Análise de Sistemas Robustos

CMU-PT/ELE/0009/2009

Área Científica Principal
Engenharia de Software para Sistemas Robustos de Larga Escala
Área Científica Secundária
Sistemas Ciber-físicos para Inteligência Ambiente
Palavras Chave
Verificação de Software
Verificação de Modelos
Algoritmos de Decisão
Certificados de Prova
Financiamento
€ 167 889,00
Instituições
Instituição Proponente
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC ID/INESC/IST/ULisboa)
Instituições Participantes
Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FCT/UNL)
Carnegie Mellon University (CMU)
Caixa Mágica Software, Lda (CM)
Unidade de Investigação Principal
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC ID/INESC/IST/ULisboa)
Equipa
Investigador Responsável
João Paulo Marques Silva
Investigadores
Pedro Manuel Correa Calvente Barahona
Maria Inês Camarate de Campos Lynce de Faria
Francisco de Moura e Castro Ascensão de Azevedo
Edmund M. Clarke
Mikolas Janota