k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] K framework and Model_checking

From: samira kherfellah <samira.kherfellah AT gmail.com>
To: k-user AT cs.uiuc.edu
Subject: [K-user] K framework and Model_checking
Date: Sun, 14 Apr 2013 15:08:33 +0200
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Hi all,

I know that K framework is a tool to redefine languages (syntax and semantics). But how about model_checking and k? how to set properties to be verified in a language, using K?

Sincerly,

Samira.

[K-user] K framework and Model_checking, samira kherfellah, 04/14/2013
- Re: [K-user] K framework and Model_checking, Dorel Lucanu, 04/14/2013