[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: ask for help

Hi Ines,

It is possible to integrate inference rules in PVS, though it requires a
bit of lisp programming, and a deeper understanding of the prover
mechanism than is provided in the prover manual.  Let me know more about
what you're actually trying to accomplish, and I'll be happy to get you


> From:    Ines <inesfaiech@yahoo.fr>
> Subject: ask for help
> Date:    Sat, 15 Nov 2003 12:32:55 +0100 (CET)
> To:      pvs-help@csl.sri.com
> I'm interrested to implement rules in PSV in my researsh,so I'd like to know if it is possible to integrate inferences rules within PVS