Open Proofs
Open Proofs
Posted Aug 27, 2009 14:05 UTC (Thu) by dwheeler (guest, #1216)In reply to: Walsh: Secure Virtualization Using SELinux (sVirt) by renox
Parent article: Walsh: Secure Virtualization Using SELinux (sVirt)
There's a big need for software that is proven correct and for which the implementation, proofs, and required tools are all open source software. I call such software "open proofs". If you're interested in helping, please visit the Open proofs web site; we need people who can package existing OSS tools, as well as people who can develop and prove programs.