Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle and model checkers

view this post on Zulip Email Gateway (Aug 18 2022 at 16:26):

From: John Matthews <matthews@galois.com>
Hello,

I'm running Isabelle2009-2 and am looking for external oracles to
model checkers like NuSMV, SPIN, Murphi, etc.

So far I found the home page for IHaveIt (http://www-wjp.cs.uni-saarland.de/ihaveit
), but it says it requires Isabelle 2005.

Has anyone ported IHaveIt to Isabelle2009-2, and does anyone know of
connections to other model checkers for Isabelle?

Thanks,
-john
smime.p7s

view this post on Zulip Email Gateway (Aug 18 2022 at 16:26):

From: John Matthews <matthews@galois.com>
Thanks Sergey, I'll ask Peter about availability of his version.

-john
smime.p7s

Last updated: Apr 19 2024 at 04:17 UTC