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

Re: [PVS-Help] pvs raw mode


Look at the tool called Grizzly:


It is part of Bernstein in the NASA PVS Library (Try the version 5.0 of
the library, version 6.0 doesn't include Bernstein yet, but for what you
need it, it should be enough):


Grizzly is a script written in Perl that uses sockets to communicate with
PVS (running in raw mode).



On 1/21/13 3:44 AM, "Boulifa Bilel" <boulifa.bilel@xxxxxxxxx> wrote:

>Does anyone have an example of using the pvs -raw mode?
>I'd like to use PVS from a Java program but i have not been able to
>invoke the pvs rules on command line.
>Best Regards
>Boulifa Bilel
>Computer Engineer
>Tel: (+216) 97 808 500
>       (+974) 33 52 24 90