%0 Conference Paper
%B Third International Congress on Tools for Teaching Logic - TICTIL
%D 2011
%T Reasoning about complex requirements in a uniform setting
%A M. Martins
%A Alexandre Madeira
%A Luis Soares Barbosa
%C Salamanca, Spain
%X <p>The paper formulates HEQ, an institution for hybrid equational logic to provide a uniform setting to express and reasoning about diferent sorts of properties of complex software. It is also shown how, through the denition of a suitable comorphism to FOL, this can be integrated in Hets, providing suitable tool support for teaching and research. The whole exercise was motivated by the need to unify, in a single under-graduate course in a Computer Science curriculum, the specication of data and behavioural constraints of recongurable systems.</p>
%8 June
%> https://haslab.uminho.pt/sites/default/files/madeira/files/racrus.pdf