Public software certification scheme
1. Public Certification of Third-Party Software
We are a body who can do Public Certification of Software according to the (4+1)-tuple (Σ, Π, ∆, Λ, Φ) method.
2. Production of our own Publicly Certified Software
We can produce Taylor-made software and specifications ready to get the public certification of 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.