maude-help AT lists.siebelschool.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] about ptLTL

From: yfu002 AT cs.fiu.edu
To: maude-help AT maude.cs.uiuc.edu
Subject: [Maude-help] about ptLTL
Date: Tue, 30 Aug 2005 20:50:03 -0400 (EDT)
Importance: Normal
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

I'm using maude to verify the system model defined by Petri nets. I just
notice that there is not past always ([-]) in the modelchecker.maude. So
my question is how can i check past time LTL formula specified by past
always ? Thanks in advance.

--Yujian Fu

[Maude-help] about ptLTL, yfu002, 08/30/2005
- Re: [Maude-help] about ptLTL, Steven Eker, 08/31/2005