At Thu, 26 Nov 2009 03:31:39 +0100, t_ziel wrote: > > 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 there is a patch for PVS 4.2 to compile with SBCL http://jjames.fedorapeople.org/pvs/ which might be useful to get a native PVS 4.2 for NetBSD. Last time I had checked there were problems with SBCL. http://mail-index.netbsd.org/pkgsrc-users/2009/09/17/msg010757.html Checking just now, I see that SBCL builds again... Best regards, Marko > -- > 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 > >
Attachment:
pgp5loeA1jaft.pgp
Description: PGP signature