Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/33743Registo completo
| Campo DC | Valor | Idioma |
|---|---|---|
| dc.contributor.author | Cunha, Alcino | por |
| dc.date.accessioned | 2015-02-09T17:24:28Z | - |
| dc.date.available | 2015-02-09T17:24:28Z | - |
| dc.date.issued | 2014 | - |
| dc.identifier.isbn | 9783662436516 | por |
| dc.identifier.issn | 0302-9743 | por |
| dc.identifier.uri | https://hdl.handle.net/1822/33743 | - |
| dc.description.abstract | 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. | por |
| dc.language.iso | eng | por |
| dc.publisher | Springer Verlag | por |
| dc.rights | openAccess | por |
| dc.title | Bounded model checking of temporal formulas with alloy | por |
| dc.type | conferencePaper | por |
| dc.peerreviewed | yes | por |
| dc.comments | 2026 | por |
| sdum.publicationstatus | published | por |
| oaire.citationStartPage | 1 | por |
| oaire.citationEndPage | 6 | por |
| oaire.citationVolume | 8477 LNCS | por |
| dc.publisher.uri | Springer | por |
| dc.identifier.doi | 10.1007/978-3-662-43652-3_29 | por |
| dc.subject.wos | Science & Technology | por |
| sdum.journal | Lecture Notes in Computer Science (including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | por |
| sdum.conferencePublication | ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z, ABZ 2014 | por |
| Aparece nas coleções: | ||
