IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude

Title
IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude
Publication Date
2004
Author(s)
Mason, Ian Alistair
Talcott, Carolyn L
Editor
Editor(s): M Clavel
Type of document
Conference Publication
Language
en
Entity Type
Publication
Publisher
Elsevier BV
Place of publication
Netherlands
DOI
10.1016/j.entcs.2004.06.016
UNE publication id
une:4605
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.
Link
link
Citation
Electronic Notes in Theoretical Computer Science, v.117, p. 315-333
ISSN
1571-0661
Start page
315
End page
333

Files:

NameSizeformatDescriptionLink