Maude-help mailing list

["Sung-Shik Jongmans" <S.T.Q.Jongmans AT student.tudelft.nl>]

Title: measuring memory consumption

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.