pkgsrc-Users archive

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

PVS theorem prover -- update request



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




Home | Main Index | Thread Index | Old Index