Skip to Content.
Sympa Menu

k-user - [[K-user] ] Model checking, K version 4

k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] Model checking, K version 4


Chronological Thread 
  • From: Daniel Schnetzer Fava <danielsf AT ifi.uio.no>
  • To: "k-user AT lists.cs.illinois.edu" <k-user AT lists.cs.illinois.edu>
  • Subject: [[K-user] ] Model checking, K version 4
  • Date: Thu, 26 Oct 2017 12:29:40 +0000
  • Accept-language: en-US, nb-NO
  • Authentication-results: illinois.edu; spf=pass smtp.mailfrom=danielsf AT ifi.uio.no
Hi,
What’s a good place to track the status of the model checker for K version 4?
Is there a github page / issue tracker for it?
Thanks!
Daniel
  • [[K-user] ] Model checking, K version 4, Daniel Schnetzer Fava, 10/26/2017

Archive powered by MHonArc 2.6.19.

Top of Page