Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/51433
Título: | Exploiting partial knowledge for efficient model analysis |
Autor(es): | Macedo, Nuno Cunha, Alcino Pessoa, Eduardo José Dias |
Data: | Set-2017 |
Editora: | Springer International Publishing AG |
Revista: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Resumo(s): | The advancement of constraint solvers and model checkers has enabled the effective analysis of high-level formal specification languages. However, these typically handle a specification in an opaque manner, amalgamating all its constraints in a single monolithic verification task, which often proves to be a performance bottleneck. This paper addresses this issue by proposing a solving strategy that exploits user-provided partial knowledge, namely by assigning symbolic bounds to the problem’s variables, to automatically decompose a verification task into smaller ones, which are prone to being independently analyzed in parallel and with tighter search spaces. An effective implementation of the technique is provided as an extension to the Kodkod relational constraint solver. Evaluation shows that, in average, the proposed technique outperforms the regular amalgamated verification procedure. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/51433 |
ISBN: | 978-3-319-68166-5 |
DOI: | 10.1007/978-3-319-68167-2_23 |
ISSN: | 0302-9743 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
P-00N-2M9.pdf | 444,81 kB | Adobe PDF | Ver/Abrir |