The Formal
EraTerms
Website terms
This website introduces The Formal Era and its verification workflow. For commercial terms and questions about using the service, contact contact@theformalera.com.
Demonstrations and experimental results
The results shown come from the recorded experiments identified on the page. They describe those inputs, proof paths and configurations. They do not establish a performance guarantee for another implementation.
Scope of a verification result
A proof applies to its specified model, implementation and declared domain. Equivalence uses real arithmetic and excludes floating point rounding and associativity. The specification, IR translation, compiler chain and hardware form part of the trust boundary.
Software and linked materials
Consult the license accompanying each software package or linked material before use. This informational page does not replace the terms accompanying a service agreement or software license.