55 search results - page 1 / 11 » Maude MSOS Tool |
ENTCS
2007
15 years 5 months ago
2007
143
click to vote
ENTCS
2007
15 years 5 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 ...
261
Voted
AMAST
2010
Springer
15 years 3 days 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...
148
Voted
CALCO
2007
Springer
15 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...
132
Voted
ENTCS
2002
15 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...