FormalMethods

From FedoraProject

(Difference between revisions)
Jump to: navigation, search
(Members: Fix caps in usernames)
(Members: Add missing User: prefix)
Line 23: Line 23:
 
== Members ==
 
== Members ==
 
Co-Leads:
 
Co-Leads:
* [[Dwheeler|David A. Wheeler]]
+
* [[User:Dwheeler|David A. Wheeler]]
* [[Jjames|Jerry James]]
+
* [[User:Jjames|Jerry James]]
  
 
Others:
 
Others:
* [[Adunn|Alan Dunn]]
+
* [[User:Adunn|Alan Dunn]]
 
* '''Please add your name here!'''
 
* '''Please add your name here!'''
  

Revision as of 17:42, 11 January 2010

Contents

Fedora Formal Methods Special Interest Group (SIG)

What are Formal Methods?

"Formal methods" are techniques that use mathematics to prove that models of software, hardware, or systems will or will not have certain behavior. To be practical, they must be automated using tools. Free/Libre/Open Source Software (FLOSS) formal methods tools are now available, including automated theorem provers and model-checkers, but the tools can be difficult to install and apply.

Goal and Scope

The goal of the Formal Methods SIG is to make it easy to install formal methods tools in Fedora, ease learning how to apply them, encourage the development of "open proofs" (where an implementation, proofs, and required tools are all FLOSS), and to provide feedback to toolmakers so that the tools in Fedora can become more powerful, more scaleable, and easier to use together.

For more details, see the Mission Statement and Plan for the Formal Methods Fedora SIG.


Members

Co-Leads:

Others:

Communication

  • Mailing list: TBD. We may create a Fedora Formal Methods List. Alternatively, we may just use the existing open proofs mailing list... anyone have a preference?


Tasks

  • Package updated "Why" (adunn)
  • Package critically-needed pvs libraries (jjames)
  • Package frama-c (adunn)

For packages that we'd like to see created, see the Open Proofs packaging status page.