maude-help AT lists.siebelschool.illinois.edu
Subject: Maude-help mailing list
List archive
- From: Narsis Amini <narsisa90 AT yahoo.com>
- To: maude-help AT cs.uiuc.edu
- Subject: [Maude-help] LTL model checker
- Date: Sat, 30 Apr 2011 15:27:26 -0700 (PDT)
- List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
- List-id: <maude-help.cs.uiuc.edu>
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.