The maude formal tool environment

Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Ölveczky

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

This paper describes the main features of several tools concerned with the analysis of either Maude specifications, or of extensions of such specifications: the ITP, MTT, CRC, ChC, and SCC tools, and Real-Time Maude for real-time systems. These tools, together with Maude itself and its searching and model-checking capabilities, constitute Maude's formal environment.

Original languageEnglish (US)
Title of host publicationAlgebra and Coalgebra in Computer Science - Second International Conference, CALCO 2007, Proceedings
PublisherSpringer-Verlag Berlin Heidelberg
Pages173-178
Number of pages6
ISBN (Print)9783540738572
DOIs
StatePublished - 2007
Event2nd International Conference on Algebra and Coalgebra in Computer Science, CALCO 2007 - Bergen, Norway
Duration: Aug 20 2007Aug 24 2007

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4624 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other2nd International Conference on Algebra and Coalgebra in Computer Science, CALCO 2007
CountryNorway
CityBergen
Period8/20/078/24/07

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'The maude formal tool environment'. Together they form a unique fingerprint.

Cite this