Verificação Automática de Sistemas Computacionais de Complexidade Industrial


O objetivo do projeto é ter entre seus membros dois alunos de doutorado e três ou quatro alunos de mestrado a serem definidos posteriormente. Este projeto foi aprovado no edital MCT/CNPq 15/2007, universal em 2007. Enquanto que o projeto anterior prevê viagens e equipamentos para o desenvolvimento da pesquisa, este prevê um bolsista de mestrado para auxiliar no trabalho. Este bolsista deve desenvolver seu trabalho nos dois temas detalhados abaixo, que são um subconjunto do projeto anterior. Esperamos que o trabalho seja desenvolvido na modelagem e análise de sistemas distribuídos com aplicações em biologia de sistemas e bioinformática, e que a dissertação do aluno seja escrita neste tema. Este projeto está vinculado ao Programa de Pós-Graduação do Departamento de Ciência da Computação da UFMG, que tem conceito 6 na CAPES.