Towards model checking electrum specifications with LTSmin

Dissertação de mestrado integrado em Engenharia Informática

Bibliographic Details
Main Author: Cancelinha, Bruno Miguel Sousa (author)
Format: masterThesis
Language:eng
Published: 2019
Subjects:
Alloy
Electrum
Model checking
LTSmin
Partial order reduction
TLA+
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
Online Access:https://hdl.handle.net/1822/79711
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/79711

Internet

https://hdl.handle.net/1822/79711

Similar Items