What can I do to help

Please help us! You can do this by:


 * Package existing FLOSS formal methods tools and the libraries they depend on, so that they can be easily installed. See Packaging status for a list of promising tools and their status. This requires a basic knowledge of shell scripting (or willingness to learn).
 * Track down any existing open proofs (e.g., in Caduceus and ACL2) and list them in the List of Known Open Proofs.
 * Identify existing tools/programs/proofs that aren't released as FLOSS, but should be, and get them released as FLOSS. We don't expect companies to do this if they make money by selling proprietary licenses to software they developed! But if the software development was funded via public funds, try to get it released to the public.  If you're about to fund such work, consider releasing them this way.
 * Identify capabilities that should be implemented as open proofs, and list them in Components that should be Open Proofs. Factor in:
 * How important is this capability? For example, is it used for a purpose that particularly needs high assurance?  Emphasize capabilities that are importnat.
 * How easy would developing an open proof be? For example, is it relatively self-contained (instead of involving lots of other sub-efforts)? Is it clear what properties of the system should be proved? Is it particularly well-suited for tools that have been packaged? Has it already been done (or partly done) so it's easier to build on or re-do?   Emphasize easier proofs to start with.
 * Develop programs and their proofs that are open proofs (as identified by the previous step).
 * Document "how to" to help others, including:
 * Guidelines for picking toolsuites (perhaps indicating what the tools do, their indicators, and their contra-indicators)
 * Guidelines for how to apply/use toolsuites, particularly for using tools together and walking through "real" examples. Many tools have documentation, but some don't, and much of the rest lack information on how to use them in practical settings.
 * Get more people involved in OpenProofs.org / spread the word about Openproofs.org.
 * Improve this website.  Request a Wiki account to do that!