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.

Transmission scheme
Transmission scheme

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.