[Home] [CV] [Publications]


Minus 1a5aa4f1c08b567c9107cba729de26bc87c17ab2b2f690eb45059193a1d6f587 IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude
Mason, I. A. and Talcott, C. L. - 2004 - PDF

We describe a platform, IOP, for the interoperation of formal reasoning tools, and an adaptation of Maude, IMaude, that utilizes this platform. Three applications of IMaude and IOP to real world problem domains are described.

Keywords: Rewriting logic, interoperability, visualization.