Re: [isabelle] Isabelle + NuSMV



Hi,

Sergey Tverdyshev (Sergey Tverdyshev <deru at 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:

> Hello,

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

> Thanks,
> -john



--

Dirk Leinenbach
Computer Science Department
Saarland University
Germany
Building E1 1, Room 4.06

phone: +49 - 681 / 302 - 57379
fax:   +49 - 681 / 302 - 4132 

Attachment: pgp2tt6GOo6NW.pgp
Description: PGP signature



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