Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/68518
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Brunel, Julien | por |
dc.contributor.author | Chemouil, David | por |
dc.contributor.author | Cunha, Alcino | por |
dc.contributor.author | Hujsa, Thomas | por |
dc.contributor.author | Macedo, Nuno | por |
dc.contributor.author | Tawa, Jeanne | por |
dc.date.accessioned | 2020-12-11T17:10:08Z | - |
dc.date.available | 2020-12-11T17:10:08Z | - |
dc.date.issued | 2018 | - |
dc.identifier.isbn | 9783319912707 | por |
dc.identifier.issn | 0302-9743 | - |
dc.identifier.uri | https://hdl.handle.net/1822/68518 | - |
dc.description.abstract | 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-checking problem, or to an LTL-based unbounded model-checking problem. Electrum has proved to be useful to model and verify dynamic systems with rich configurations. However, when specifying events, the tedious and sometimes error-prone handling of traces and frame conditions (similarly as in Alloy) remained necessary. In this paper, we introduce an extension of Electrum with a so-called “action” layer that addresses these questions. | por |
dc.description.sponsorship | This work is financed by the ERDF - European Regional Development Fund - through the Operational Programme for Competitiveness and Internationalisation - COMPETE 2020 - and by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciência e a Tecnologia, within project POCI-01-0145-FEDER016826, and the French Research Agency project FORMEDICIS ANR-16-CE25-0007 | por |
dc.language.iso | eng | por |
dc.publisher | Springer Verlag | por |
dc.rights | openAccess | por |
dc.title | Proposition of an action layer for electrum | por |
dc.type | conferencePaper | por |
dc.peerreviewed | yes | por |
dc.relation.publisherversion | https://link.springer.com/chapter/10.1007%2F978-3-319-91271-4_30 | por |
oaire.citationStartPage | 397 | por |
oaire.citationEndPage | 402 | por |
oaire.citationVolume | 10817 LNCS | por |
dc.date.updated | 2020-12-11T15:24:23Z | - |
dc.identifier.doi | 10.1007/978-3-319-91271-4_30 | por |
dc.subject.fos | Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática | por |
sdum.export.identifier | 7590 | - |
sdum.journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | por |
oaire.version | AM | por |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
abz18short.pdf | 297,64 kB | Adobe PDF | Ver/Abrir |