Buscas alternativas:
checking programming » teaching programming (Expandir a busca), learning programming (Expandir a busca), planning programming (Expandir a busca)
parallelism and » parallelism in (Expandir a busca), parallel and (Expandir a busca), parallelism of (Expandir a busca)
and checking » and cracking (Expandir a busca), and pecking (Expandir a busca), fact checking (Expandir a busca)
checking programming » teaching programming (Expandir a busca), learning programming (Expandir a busca), planning programming (Expandir a busca)
parallelism and » parallelism in (Expandir a busca), parallel and (Expandir a busca), parallelism of (Expandir a busca)
and checking » and cracking (Expandir a busca), and pecking (Expandir a busca), fact checking (Expandir a busca)
1
Assuntos:
“...Bounded model checking...”
Verificação de programas multi-tarefas baseado no framework multiplataforma QT
Dissertação
2
Assuntos:
“...Model checking...”
Verificação abstrata de propriedades dramáticas contínuas em eventos não determinísticos
Dissertação