[Maude-help] measuring memory consumption
S.T.Q.Jongmans at student.tudelft.nl
Fri Mar 5 09:19:18 CST 2010
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?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Maude-help