O professor do Centro de Informática (CIn) da UFPE Alexandre Mota, junto com dois ex-alunos do CIn, Adriana Damasceno e Adalberto Cajueiro, tiveram artigo aceito como “Best Paper Award” no Simpósio Brasileiro de Métodos Formais. O evento ocorreu em Gramado de 19 a 21 de agosto. O artigo “A Mechanized Strategy for Safe Abstraction of CSP Specifications” propõe uma estratégia e um algoritmo para gerar abstrações para sistemas modelados na álgebra de processos CSP. Estas abstrações são seguras no sentido de preservar propriedades na semântica de traces (segurança).

Comentários desativados