PVS theorem prover -- update request

To: pkgsrc-users%NetBSD.org@localhost
Subject: PVS theorem prover -- update request
From: t_ziel <t_ziel%wp.pl@localhost>
Date: Thu, 26 Nov 2009 03:31:39 +0100

Hello

It would be great to update PVS theorem prover. Also it would be great 
to add
some other tools for formal methods support (especially Spark: 
libre.adacore.com):

http://www.dwheeler.com/essays/high-assurance-floss.html
http://www.openproofs.org/wiki/Packaging_status

--
regards
Tomasz Zieliński

----------------------------------------------------
I love you "2012"
Kocham takie filmy:)
http://klik.wp.pl/?adr=http%3A%2F%2Fcorto.www.wp.pl%2Fas%2F2012zwiastun.html&sid=918

Follow-Ups:
- Re: PVS theorem prover -- update request
  - From: Marko Schütz

Prev by Date: Re: pgsql start implies initdb = bad
Next by Date: Re: spurious file in PLIST for kdebindings3-python
Previous by Thread: trouble with imake on Linux (RHEL-5.4)
Next by Thread: Re: PVS theorem prover -- update request
Indexes:

Home | Main Index | Thread Index | Old Index