@conference {NMMB-iri,
	title = {Giving Alloy a family},
	booktitle = {IEEE 14th International Conference on Information Reuse and Integration - IRI},
	year = {2013},
	month = {August},
	pages = {512-519},
	publisher = {IEEE},
	organization = {IEEE},
	address = {San Francisco, CA, USA},
	abstract = {<p>Lightweight 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{\textquoteright}s proposal, however, is not establishing a link from ALLOY to another single tool, but rather to {\textquotedblleft}plunge{\textquotedblright} it into the HETS network of logics, logic translators and provers. This makes possible for Alloy specifications to {\textquotedblleft}borrow{\textquotedblright} the power of several, non dedicated proof systems. Semantical foundations for this integration are discussed in detail.</p>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/lsb/files/nbmm13-iri.pdf},
	author = {Renato Neves and Alexandre Madeira and M. Martins and Luis Soares Barbosa}
}