Maude Formal Environment
HTML CSS JavaScript Shell
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
assets
bower_components
css minor changes. added maude++ page Sep 26, 2016
docs
examples
external-tools
js
scripts
src
stand-alone-crchc
temp
templates
todos
views
.project
config.codekit
index.html
license.txt
readme.md

readme.md

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.

Where to Start?

The project's documentation is maintained in the Wiki section. Please visit:

  • Installation for installation and configuration instructions.
  • Use for use instructions.
  • Tools for a list of tools available in MFE's latest release.
  • Maude++ for a brief explanation on how the Maude system has been extended with new operators to handle calls to the CETA library and termination back-ends.

Papers on the MFE

  • F. Durán, C. Rocha, J. M. Álvarez: Tool Interoperability in the Maude Formal Environment. CALCO 2011. Lecture Notes in Computer Science, 2011, Volume 6859/2011, 400-406, DOI: 10.1007/978-3-642-22944-2_30
  • F. Durán, C. Rocha, J. M. Álvarez: Towards a Maude Formal Environment. Formal Modeling: Actors, Open Systems, Biological Systems. Lecture Notes in Computer Science, 2011, Volume 7000/2011, 329-351, DOI: 10.1007/978-3-642-24933-4_17.