[isabelle] Isabelle + NuSMV



Hello,

Does anyone know where I could download some Isabelle theories and code for calling NuSMV as an external oracle?

Thanks,
-john






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