Proposition of an action layer for electrum

Electrum is an extension of Alloy that adds (1) mutable signatures and fields to the modeling layer; and (2) connectives from linear temporal logic (with past) and primed variables à la TLA+ to the constraint language. The analysis of models can then be translated into a SAT-based bounded model-chec...

Full description

Bibliographic Details
Main Author: Brunel, Julien (author)
Other Authors: Chemouil, David (author), Cunha, Alcino (author), Hujsa, Thomas (author), Macedo, Nuno (author), Tawa, Jeanne (author)
Format: conferencePaper
Language:eng
Published: 2018
Subjects:
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
Online Access:http://hdl.handle.net/1822/68518
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/68518

Internet

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

Similar Items