K-user mailing list

[<daparpon AT dsic.upv.es>]

Hi! I am interested in using the Program Verification infrastructure of K in
order to verify some properties of programs written in my K-specified
language. I found an instance of this extended K Tool with verification at
"https://github.com/kframework/k/wiki/Program-Verification";; however, it
corresponds to K version 3.6, which does not seem to work out for my case.
Where or how can I find more versions of the verification-enabled K? In
particular, I am looking for K 3.4, since that is the version which I used to
define and compile the target language.

Thanks in advance,
Daniel