1
Assuntos:
“...model checker...”
Teste e verificação formal do comportamento excepcional de programas Java
Dissertação
2
3
Assuntos:
“...Model Checker...”
Model checking requirements written in a controlled natural language
Dissertação
4
Assuntos:
“...Efficient SMT-Based Context-Bounded Model Checker (ESBMC)...”
BMCLua: Metodologia para Verificação de Códigos Lua utilizando Bounded Model Checking
Dissertação
5
Assuntos:
“...Bounded Model Checker...”
Especificação executável usando uma linguagem de redes de Petri no domínio de sistemas embarcados
Dissertação
6
Assuntos:
“...Bounded model checker...”
Verificação e comprovação de erros em códigos C usando bounded model checker
Dissertação