Parallel verification of dynamic systems with rich configurations

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

Bibliographic Details
Main Author: Pessoa, Eduardo José Dias (author)
Format: masterThesis
Language:eng
Published: 2016
Subjects:
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
Online Access:http://hdl.handle.net/1822/47746
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/47746

Internet

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

Similar Items