Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle + NuSMV

view this post on Zulip Email Gateway (Aug 18 2022 at 09:45):

From: Dirk Leinenbach <dirkl@cs.uni-sb.de>
Hi,

Sergey Tverdyshev (Sergey Tverdyshev <deru@wjpserver.cs.uni-sb.de>)
has developed a oracle interface to NuSMV. The work has been published
in FroCos 05: "Combination of {Isabelle/HOL} with Automatic Tools".

Best Regards,

Dirk

Monday, October 2, 2006, 11:49:00 PM, John Matthews wrote:

view this post on Zulip Email Gateway (Aug 18 2022 at 09:51):

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

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

Thanks,
-john

Last updated: May 03 2024 at 04:19 UTC