Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/89201Registo completo
| Campo DC | Valor | Idioma |
|---|---|---|
| dc.contributor.author | Macedo, Nuno | por |
| dc.contributor.author | Brunel, Julien | por |
| dc.contributor.author | Chemouil, David | por |
| dc.contributor.author | Cunha, Alcino | por |
| dc.date.accessioned | 2024-02-29T20:30:09Z | - |
| dc.date.available | 2024-02-29T20:30:09Z | - |
| dc.date.issued | 2022 | - |
| dc.identifier.citation | Macedo, N., Brunel, J., Chemouil, D. et al. Pardinus: A Temporal Relational Model Finder. J Autom Reasoning 66, 861–904 (2022). https://doi.org/10.1007/s10817-022-09642-2nder. Journal of Automated Reasoning. Springer Science and Business Media LLC. http://doi.org/10.1007/s10817-022-09642-2 | por |
| dc.identifier.issn | 0168-7433 | - |
| dc.identifier.uri | https://hdl.handle.net/1822/89201 | - |
| dc.description.abstract | This article presents Pardinus, an extension of the popular Kodkod relational model finder with linear temporal logic (including past operators), to simplify the analysis of dynamic systems. Pardinus includes a SAT-based bounded-model checking engine and an SMV-based complete model checking engine, both allowing iteration through the different instances (or counter-examples) of a specification. It also supports a decomposed parallel analysis strategy that improves the efficiency of both analysis engines on commodity multi-core machines. | por |
| dc.description.sponsorship | Work financed by the European Regional Development Fund (ERDF) through the Operational Programme for Competitiveness and Internationalisation (COMPETE2020) and by National Funds through the Portuguese funding agency, Fundação para a Ciência e a Tecnologia (FCT) within Project POCI-01-0145-FEDER-016826, and the French Research Agency Project FORMEDICIS ANR-16-CE25-0007. | por |
| dc.language.iso | eng | por |
| dc.publisher | Springer | por |
| dc.rights | openAccess | por |
| dc.subject | Model checking | por |
| dc.subject | Model finding | por |
| dc.subject | Relational logic | por |
| dc.subject | Temporal logic | por |
| dc.title | Pardinus: a temporal relational model finder | por |
| dc.type | article | por |
| dc.peerreviewed | yes | por |
| dc.relation.publisherversion | https://link.springer.com/article/10.1007/s10817-022-09642-2 | por |
| oaire.citationStartPage | 861 | por |
| oaire.citationEndPage | 904 | por |
| oaire.citationIssue | 4 | por |
| oaire.citationVolume | 66 | por |
| dc.date.updated | 2024-02-10T07:53:29Z | - |
| dc.identifier.doi | 10.1007/s10817-022-09642-2 | por |
| dc.subject.fos | Ciências Naturais::Ciências da Computação e da Informação | por |
| dc.subject.fos | Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática | por |
| dc.subject.wos | Science & Technology | - |
| sdum.export.identifier | 13224 | - |
| sdum.journal | Journal of Automated Reasoning | por |
| oaire.version | AM | por |
| Aparece nas coleções: | ||
