资 源 简 介
MFE - The Maude Formal Environment
The Maude Formal Environment (MFE) is an executable and highly extensible
software infrastructure within which a user can interact with several
tools to mechanically verify properties of Maude specifications. In
MFE, tools can interoperate to discharge proof obligations of different
nature without switching between different tool environments. The
integration of different tools inside MFE"s common environment presents
the user with a consistent user interface, a mechanism to keep track of
pending proof obligations, and allows the execution of several
instances of each tool, among other features.
MFE is naturally modeled in Maude as an object-based system in which the
tools are objects and their communication mechanism is message passing.
User interaction is available through Full Maude, an
extension of Maude that has become a common
b
