maude-help AT lists.cs.illinois.edu
Subject: Maude-help mailing list
List archive
- From: Steven Eker <eker AT csl.sri.com>
- To: maude-help AT cs.uiuc.edu
- Subject: Re: [Maude-help] LTL model checker
- Date: Sat, 30 Apr 2011 16:20:37 -0700
- List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
- List-id: <maude-help.cs.uiuc.edu>
- Organization: SRI International
By default Maude shows you the time. The command:
set verbose on .
can be used to see the number of states in the property automaton and the
number of states examined in the state transition graph. There is no way look
look at the depth of the search.
Steven
On Saturday 30 April 2011 03:27:26 pm Narsis Amini wrote:
> Hi,
>
> I am using the LTL model checker of Maude to verify some properties.
> Is it possible to find the statisctics of checking an LTL proeprty?
> for example number of states, reached depth, time etc.
>
> Thanks alot,
> Narges
>
- [Maude-help] LTL model checker, Narsis Amini, 04/30/2011
- Re: [Maude-help] LTL model checker, Steven Eker, 04/30/2011
Archive powered by MHonArc 2.6.16.