Buscas alternativas:
models theory » modern theory (Expandir a busca), mills theory (Expandir a busca), models the (Expandir a busca)
models theory » modern theory (Expandir a busca), mills theory (Expandir a busca), models the (Expandir a busca)
1
Assuntos:
“...Satisfiability Modulo Theory...”
Um novo método de otimização baseado em teorias de satisfatibilidade
Dissertação
2
Assuntos:
“...Satisfiability...”
Parameterized complexity investigations on the first-order satisfiability and matching problems
Tese
3
4
Assuntos:
“...model-based testing...”
Verification of behaviourist multi-agent systems by means of formally guided simulations
Tese
5
“... 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