Parallel verification of dynamic systems with rich configurations

Dissertação de mestrado em Engenharia Informática (área de especialização em Informática)

Detalhes bibliográficos
Autor principal: Pessoa, Eduardo José Dias (author)
Formato: masterThesis
Idioma:eng
Publicado em: 2016
Assuntos:
Alloy
Electrum
TLA
Formal specification language
Dynamic systems
Rich configurations
Model-Checking
Parallel verification
Linguagem de especificação formal
Sistemas dinâmicos
Configurações ricas
Verificação de modelos
Verificação paralela
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
Texto completo:http://hdl.handle.net/1822/47746
País:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/47746

Texto Completo

http://hdl.handle.net/1822/47746

Registros relacionados