UFRN desenvolve projeto com grupo Francês

A Universidade Federal do Rio Grande do Norte, em parceria com o grupo de pesquisa do Laboratório Loreno de Pesquisa em Informática e suas Aplicações da França, está desenvolvendo um projeto de cooperação internacional bilateral. O projeto tem como objetivo promover a colaboração entre professores do Departamento de Informática da UFRN com a Instituição em questão. O projeto é intitulado ‘SMT-SAVeS’ e tem como metas o desenvolvimento de técnicas de prova automática de teoremas e a implementação dessas técnicas em um produto de livre acesso: o provador verit (a aplicação deste provador como ferramenta de apoio ao desenvolvimento de software). A ideia foi elaborada em resposta a um edital do CNPq de cooperação internacional bilateral, que prevê missões de intercâmbio de curta e média duração de pesquisadores brasileiros na Instituição parceira e de pesquisadores franceses na UFRN. Fonte: http://www.agecom.ufrn.br