maude-help AT lists.cs.illinois.edu
Subject: Maude-help mailing list
List archive
- From: hicheur awatef <a_hicheur AT yahoo.fr>
- To: maude-help AT maude.cs.uiuc.edu
- Subject: [Maude-help] Maude Strategy and Model Checking
- Date: Sun, 11 May 2008 13:21:18 +0000 (GMT)
- Domainkey-signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.fr; h=X-YMail-OSG:Received:X-Mailer:Date:From:Reply-To:Subject:To:MIME-Version:Content-Type:Content-Transfer-Encoding:Message-ID; b=6KsuWcRBleHy7wW2KewbzVaT6qeDZJ3+RD5fTTPsxkTkGDuOKAtoemrCvLEZ2MFMsptDL5CvQsp6IRiHvaxJIm9zzzaKTKOPVqK7dYVBxihFn+lA9ZbraFuooIeWvyo3/J/guTu5ajLdYc473eU4iheblkpyeZ/j47FYCAK5RSU=;
- List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
- List-id: Maude help list <maude-help.maude.cs.uiuc.edu>
Hi, How can we call the model checker of Maude on such a strategy to verify some property on the resulting states? In fact, I want to use the model checker in such a way to verify a property on a bounded number of states generated by a system module. Thank you for your help
|
__________________________________________________
Do You Yahoo!?
En finir avec le spam? Yahoo! Mail vous offre la meilleure protection possible contre les messages non sollicités
http://mail.yahoo.fr Yahoo! Mail
- [Maude-help] Maude Strategy and Model Checking, hicheur awatef, 05/11/2008
- <Possible follow-up(s)>
- [Maude-help] Maude Strategy and Model Checking, hicheur awatef, 05/14/2008
- Re: [Maude-help] Maude Strategy and Model Checking, Steven Eker, 05/14/2008
Archive powered by MHonArc 2.6.16.