55 search results - page 1 / 11 » Maude MSOS Tool |
ENTCS
2007
13 years 4 months ago
2007
ENTCS
2007
13 years 4 months ago
2007
Strategies are a powerful mechanism to control rule application in rule-based systems. For instance, different transition relations can be defined and then combined by means of ...
AMAST
2010
Springer
12 years 12 months ago
2010
Springer
Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lac...
CALCO
2007
Springer
13 years 11 months ago
2007
Springer
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, Ch...
ENTCS
2002
13 years 4 months ago
2002
In this paper we describe the use of the rewriting logic based Maude tool to model and analyze mammalian signaling pathways. We discuss the representation of the underlying biolog...