Na última quinta-feira, 28 de março, Gustavo Carvalho, professor do Centro de Informática (CIn) da UFPE, conversou sobre o desenvolvimento rigoroso de software com a comunidade de testes do Centro de Estudos e Sistemas Avançados do Recife (CESAR), no Cais do Apolo, Recife. A apresentação foi realizada à convite de Rodrigo Cursino, colaborador do CESAR.
O docente falou sobre o papel de métodos formais para alcançar altos níveis de confiabilidade. Foram explorados exemplos utilizados pela indústria: B (um método para desenvolver sistemas reativos), CSP (uma álgebra de processos para analisar aspectos de concorrência), Uppaal (um verificador de modelos para sistemas tempo-real), e Coq (um provador interativo de teoremas).
Comentários desativados