k-user AT lists.cs.illinois.edu
Subject: K-user mailing list
List archive
- From: samira kherfellah <samira.kherfellah AT gmail.com>
- To: k-user AT cs.uiuc.edu
- Subject: [K-user] LTL model checker
- Date: Mon, 5 Aug 2013 11:27:54 +0100
- List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
- List-id: <k-user.cs.uiuc.edu>
Hi All,
I have a question about the model checker of cink example, how we can have the performance of this model?
how to use LTL model checker to check properties in K?
Samira
- [K-user] LTL model checker, samira kherfellah, 08/05/2013
- Re: [K-user] LTL model checker, Dorel Lucanu, 08/07/2013
Archive powered by MHonArc 2.6.16.