Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/33743
Título: | Bounded model checking of temporal formulas with alloy |
Autor(es): | Cunha, Alcino |
Data: | 2014 |
Editora: | Springer Verlag |
Revista: | Lecture Notes in Computer Science (including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Resumo(s): | Alloy is formal modeling language based on first-order relational logic, with no specific support for specifying reactive systems. We propose the usage of temporal logic to specify such systems, and show how bounded model checking can be performed with the Alloy Analyzer. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/33743 |
ISBN: | 9783662436516 |
DOI: | 10.1007/978-3-662-43652-3_29 |
ISSN: | 0302-9743 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: |