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

Re: [PVS-Help] pvs raw mode



Boulifa,

Look at the tool called Grizzly:

http://shemesh.larc.nasa.gov/people/cam/Bernstein/Grizzly.html

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):


  http://shemesh.larc.nasa.gov/fm/ftp/larc/PVS-library/pvslib.html

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

Regards,

Cesar


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.
>
>Thanks...
>
>-- 
>Best Regards
>
>Boulifa Bilel
>Computer Engineer
>
>
>Boulifa.Bilel@xxxxxxxxx
>Tel: (+216) 97 808 500
>       (+974) 33 52 24 90
>
>
>
>
>