The maude system

摘要

Maude is high-performance language and system supporting both equational and rewriting logic computation for a wide range of applications,including development of theorem proving tools,language prototyping,executable specificationand analysis of concurrent and distributed systems,and logical framework applications in which other logics are represented,translated,and executed.