The electrum analyzer: Model checking relational first-order temporal specifications

This paper presents the Electrum Analyzer, a free-software tool to validate and perform model checking of Electrum specifications. Electrum is an extension of Alloy that enriches its relational logic with LTL operators, thus simplifying the specification of dynamic systems. The Analyzer supports bot...

Full description

Bibliographic Details
Main Author: Brunel, Julien (author)
Other Authors: Chemouil, David (author), Cunha, Alcino (author), Macedo, Nuno (author)
Format: conferencePaper
Language:eng
Published: 2018
Subjects:
Formal specification language
Model checking
Model validation
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
Science & Technology
Online Access:http://hdl.handle.net/1822/68517
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/68517

Internet

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

Similar Items