Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/6325
Full metadata record
DC FieldValueLanguage
dc.contributor.authorRenato Jorge Nevesen
dc.contributor.authorAlexandre Castro Madeiraen
dc.contributor.authorMartins,MAen
dc.contributor.authorLuís Soares Barbosaen
dc.date.accessioned2018-01-16T11:42:44Z-
dc.date.available2018-01-16T11:42:44Z-
dc.date.issued2013en
dc.identifier.urihttp://repositorio.inesctec.pt/handle/123456789/6325-
dc.identifier.urihttp://dx.doi.org/10.1109/iri.2013.6642513en
dc.description.abstractLightweight formal methods ought to provide to the end user the rigorousness of mathematics, without compromising simplicity and intuitiveness. Alloy is a powerful tool, particularly successful on this mission. Limitations on the verification side, however, are known to prevent its wider use in the development of safety or mission critical applications. A number of researchers proposed ways to connect Alloy to other tools in order to meet such challenges. This paper's proposal, however, is not establishing a link from Alloy to another single tool, but rather to 'plunge' it into the Hets network of logics, logic translators and provers. This makes possible for Alloy specifications to 'borrow' the power of several, non dedicated proof systems. Semantical foundations for this integration are discussed in detail. © 2013 IEEE.en
dc.languageengen
dc.relation6181en
dc.relation5603en
dc.relation5620en
dc.rightsinfo:eu-repo/semantics/openAccessen
dc.titleGiving Alloy a familyen
dc.typeconferenceObjecten
dc.typePublicationen
Appears in Collections:HASLab - Articles in International Conferences

Files in This Item:
File Description SizeFormat 
P-008-K9G.pdf391.11 kBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.