1996
DOI: 10.1016/s1571-0661(04)00034-9
|View full text |Cite
|
Sign up to set email alerts
|

Principles of Maude

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
83
0
1

Year Published

1999
1999
2011
2011

Publication Types

Select...
5
2

Relationship

1
6

Authors

Journals

citations
Cited by 159 publications
(84 citation statements)
references
References 11 publications
0
83
0
1
Order By: Relevance
“…We described an automated verification framework for communicating resource-bounded reasoners which takes a set of agents specified in terms of facts and Horn clause rules and automatically produces a Maude [8] specification of the system which can be efficiently verified. We illustrated the scalability of our approach by comparing it to results presented in [9] for a synthetic distributed reasoning problem.…”
Section: Resultsmentioning
confidence: 99%
See 2 more Smart Citations
“…We described an automated verification framework for communicating resource-bounded reasoners which takes a set of agents specified in terms of facts and Horn clause rules and automatically produces a Maude [8] specification of the system which can be efficiently verified. We illustrated the scalability of our approach by comparing it to results presented in [9] for a synthetic distributed reasoning problem.…”
Section: Resultsmentioning
confidence: 99%
“…In this section, we describe a tool based on the Maude [8] rewriting system which implements the approach to verification described above. The tool generates an encoding of a distributed system of reasoning agents for the Maude LTL model checker, which is then used to verify the desired properties of the system.…”
Section: Automated Verification Toolmentioning
confidence: 99%
See 1 more Smart Citation
“…Maude [15,13] is a reflective language whose modules are theories in rewriting logic. The most general Maude modules are called system modules.…”
Section: Maude's Metalanguage Featuresmentioning
confidence: 99%
“…Then, an implementation of such a framework logic could serve as a basis for developing the meta-tools. This paper reports on our results and experiments in using the Maude language [15,13] as a formal meta-tool in the senses described above. Maude is a reflective language based on rewriting logic [48] that essentially contains the OBJ3 language as an equational sublanguage.…”
Section: Introductionmentioning
confidence: 99%