Public Certification of a Specification and its Software
For Third-Party Specifications and Software
We are a body who can do Public Certification of a Specification and its Software according to the (4+1)-tuple (Σ, Π, ∆, Λ, Φ) method for specifications and software developed by a third party that wants to guarantee the highest correctness standards
Diagram
Production of our own Public Certification of a Specification and its Software
We can produce Taylor-made software and
specifications ready to get the Public
Certification of a Specification and its Software
according to the (4+1)-tuple (Σ, Π, ∆, Λ, Φ) method.
In this way we develop Computable Laws, which are
laws drafted as technical or formal
specifications to
be publicly certified.