Saltar para:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Início > Publicações > Visualização > Pardinus: A Temporal Relational Model Finder

Publicações

Pardinus: A Temporal Relational Model Finder

Título
Pardinus: A Temporal Relational Model Finder
Tipo
Artigo em Revista Científica Internacional
Ano
2022
Autores
Macedo, N
(Autor)
FEUP
Ver página pessoal Sem permissões para visualizar e-mail institucional Pesquisar Publicações do Participante Ver página do Authenticus Sem ORCID
Brunel, J
(Autor)
Outra
A pessoa não pertence à instituição. A pessoa não pertence à instituição. A pessoa não pertence à instituição. Sem AUTHENTICUS Sem ORCID
Chemouil, D
(Autor)
Outra
A pessoa não pertence à instituição. A pessoa não pertence à instituição. A pessoa não pertence à instituição. Sem AUTHENTICUS Sem ORCID
Cunha, A
(Autor)
Outra
A pessoa não pertence à instituição. A pessoa não pertence à instituição. A pessoa não pertence à instituição. Ver página do Authenticus Sem ORCID
Revista
Vol. 66
Páginas: 861-904
ISSN: 0168-7433
Editora: Springer Nature
Indexação
Publicação em ISI Web of Knowledge ISI Web of Knowledge - 0 Citações
Publicação em Scopus Scopus - 0 Citações
Outras Informações
ID Authenticus: P-00X-4SJ
Abstract (EN): 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.
Idioma: Inglês
Tipo (Avaliação Docente): Científica
Nº de páginas: 44
Documentos
Não foi encontrado nenhum documento associado à publicação.
Publicações Relacionadas

Dos mesmos autores

The electrum analyzer: model checking relational first-order temporal specifications (2018)
Artigo em Livro de Atas de Conferência Internacional
Brunel, J; Chemouil, D; Cunha, A; Macedo, N
Simulation under Arbitrary Temporal Logic Constraints (2019)
Artigo em Livro de Atas de Conferência Internacional
Brunel, J; Chemouil, D; Cunha, A; Macedo, N
Proposition of an Action Layer for Electrum (2018)
Artigo em Livro de Atas de Conferência Internacional
Brunel, J; Chemouil, D; Cunha, A; Hujsa, T; Macedo, N; Tawa, J
Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations (2016)
Artigo em Livro de Atas de Conferência Internacional
Macedo, N; Brunel, J; Chemouil, D; Cunha, A; Kuperberg, D

Da mesma revista

Type-Based Cost Analysis for Lazy Functional Languages (2017)
Artigo em Revista Científica Internacional
Florido, M; Pedro Vasconcelos; Steffen Jost; Kevin Hammond
Mechanically proving termination using polynomial interpretations (2005)
Artigo em Revista Científica Internacional
Evelyne Contejean; Claude Marche; Ana Paula Tomas; Xavier Urbain
Recomendar Página Voltar ao Topo
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z
Página gerada em: 2025-09-25 às 00:14:16 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias | Livro Amarelo Eletrónico