[Maude-help] measuring memory consumption

[Sung-Shik Jongmans]

Hi,

I am interested to know Maude's memory consumption during model-checking. I could not find anything about reports on memory consumption in the manual, so currently I am simply keeping a close eye on the amount of memory in use by the Maude process (during model-checking). My question: is there a more "sophisticated" way of doing this? For example, in "The Maude LTL Model-Checker" (2004), the average memory usage is reported in an evaluation of the performance. How are these memory measurements obtained?

Kind regards,
Sung.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.cs.uiuc.edu/pipermail/maude-help/attachments/20100305/9965d539/attachment.html