Últimas notícias
Ver mais notícias [+]

Pós-Grad: Aula com professor da UFMG.

Nos dias 22-23/6 e 6-7/7, a Facom receberá o professor Sergio Campos (http://homepages.dcc.ufmg.br/~scampos/) para ministrar a disciplina Verificação Automática. A aula é aberta a todos os interessados. Confira, abaixo, uma descrição da área de pesquisa.   Verificação Automática – Model Checking Model checking is a technique for verifying finite-state concurrent systems such as sequential circuit designs […]