k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] LTS from K

From: Omar Duhaiby <3omarz AT gmail.com>
To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: [[K-user] ] LTS from K
Date: Mon, 6 Feb 2017 23:45:42 +0100

Hello,
When running "Krun --search" or "Krun --ltlmc", doesn't K internally analyze a labeled transition system that it has generated from the input source code? If so, can K output this transition system?

Sincerely,

Omar

[[K-user] ] LTS from K, Omar Duhaiby, 02/06/2017
- <Possible follow-up(s)>
- Re: [[K-user] ] LTS from K, Lucas Pena, 02/06/2017
  - Re: [[K-user] ] LTS from K, Omar Duhaiby, 02/06/2017
  - Message not available
    - Re: [[K-user] ] LTS from K, Lucas Pena, 02/06/2017