[isabelle] Isabelle and model checkers



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

Attachment: smime.p7s
Description: S/MIME cryptographic signature



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.