Buscas alternativas:
models theory » model theory (Expandir a busca), modern theory (Expandir a busca), mills theory (Expandir a busca)
mode theory » model theory (Expandir a busca), code theory (Expandir a busca), modern theory (Expandir a busca)
models theory » model theory (Expandir a busca), modern theory (Expandir a busca), mills theory (Expandir a busca)
mode theory » model theory (Expandir a busca), code theory (Expandir a busca), modern theory (Expandir a busca)
1
2
“... models consistent. Satisfiability Modulo Theory solvers are automated theorem provers used to verify the...”
Contribuições para o processo de verificação de satisfatibilidade módulo teoria em Event-B
Dissertação
3
“... is concerned with the automated analysis of a particular kind of such social models, namely, those based...”
Verification of behaviourist multi-agent systems by means of formally guided simulations
Tese