Article ID Journal Published Year Pages File Type
9656027 Electronic Notes in Theoretical Computer Science 2005 19 Pages PDF
Abstract
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
Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics
Preview
IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude
Authors
, ,