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 behaviors. 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.

Yum group

We intend to create a "formal methods" yum group soon, so that 'yum groupinstall "Formal methods"' will get you lots of packagey goodness. The current plan is to wait until frama-c is packaged, though if that takes too long, we can go ahead.