Projectos de I&D
Consulta de projectos homologados
Concurso de Projectos de Investigação Científica e Desenvolvimento Tecnológico em todos os Domínios Científicos - 2010
Análise e Verificação de Programas Concorrentes Críticos
PTDC/EIA-CCO/117590/2010
- Área Científica Principal
- Engenharia Informática - Ciências da Computação
- Palavras Chave
- Verificação Formal
- Raciocínio "rely-guarantee"
- Verificação de modelos de software
- Abstracção por predicados
- Financiamento
- € 93 988,00
-
Projecto cofinanciado pelo
Instituição do projecto não encontradas