PVS and LISP
4 posts
• Page 1 of 1
PVS and LISP
by mparsa » Thu Jun 28, 2012 5:32 am
Is there anybody who works with both PVS and lisp ? I have some questions ...
- mparsa
- Posts: 26
- Joined: Mon Jun 25, 2012 6:15 am
Re: PVS and LISP
by edgar-rft » Sat Jun 30, 2012 2:20 am
- edgar-rft
- Posts: 91
- Joined: Fri Aug 06, 2010 6:34 am
- Location: Germany
Re: PVS and LISP
by Goheeca » Sat Jun 30, 2012 12:33 pm
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.
And I want to ask OP about why is the library good.
cl-2dsyntax is my attempt to create a Python-like reader. My mirror of CLHS (and the dark themed version).
-
Goheeca - Posts: 109
- Joined: Thu May 10, 2012 12:54 pm
Re: PVS and LISP
by mparsa » Mon Jul 02, 2012 1:16 am
I mean specification and verification system.
http://pvs.csl.sri.com/
http://pvs.csl.sri.com/
- mparsa
- Posts: 26
- Joined: Mon Jun 25, 2012 6:15 am
4 posts
• Page 1 of 1
Who is online
Users browsing this forum: No registered users and 2 guests