From Fedora Project Wiki
< Features
Feature Name
Provers
Summary
Add basic support for some key provers, solvers, and formal methods tools. These tools let you prove that some facts are true (given other facts) and/or model systems using mathematics, and can be used to greatly increase the reliability of software and hardware.
Owner
- Name: David A. Wheeler
Current status
- Targeted release: Fedora 42
- Last updated: 2008-08-07
- Percentage of completion: 100%