Page 1 of 1

PVS and LISP

Posted: Thu Jun 28, 2012 5:32 am
by mparsa
Is there anybody who works with both PVS and lisp ? I have some questions ...

Re: PVS and LISP

Posted: Sat Jun 30, 2012 2:20 am
by edgar-rft
The Pig Veterinary Society and Lisp? Or what are you talking about? Please be more cryptic!

- edgar

Re: PVS and LISP

Posted: Sat Jun 30, 2012 12:33 pm
by Goheeca
I would say he means http://www.nuprl.org/PVS/Libraries/ from his other threads.
And I want to ask OP about why is the library good.

Re: PVS and LISP

Posted: Mon Jul 02, 2012 1:16 am
by mparsa
I mean specification and verification system.
http://pvs.csl.sri.com/