área de pesquisa
- A Methodology to Apply Formal Verification to UML-based Software
- Ana Paula Luedtke Ferreira
- Automatic Extraction of Program Models for Formal Software Verification
- Fernando Augusto Fernandes Braz
- Guilherme Henrique de Sousa Santos
- Letícia Gindri
- Luis Humberto Rezende Barbosa
- Luiz Augusto Garcia da Silva
- Marcelo Monteiro Custódio
- Minimização de casos/passos de teste para linguagens de programação visual
- Object-oriented graph grammars
- Ordenação inicial de BDDs para a verificação de sistemas de transição finita
- Pedro Henrique Azevedo de Amorim
- Probabilistic Model Checking for Modeling and Analysis of Toxins Interactions with Transmembrane Ionic Transport Systems
- Rafael Heitor Bordini
- Rodrigo Borges Nogueira
- SOLIMVA: A Methodology for Generating Model-Based Test Cases from Natural Language Requirements and Detecting Incompleteness in Software Specifications
- Thiago Coelho Vieira
- Verification of Symmetric Models Using Semiautomatic Abstractions
- Verificação de implementações em hardware por meio de provas de correção de suas definições recursivas
- Verificação de Propriedades do Cálculo lambda-ex em Coq