We develop formally verified software for public administrations, currently in the area of law-enforcement, while also working to reach a standard protocol for the public certification and homologation of software that claims to be formally verified.
Overview | |
Status | |
Category | Compliance |
Headquarters | Barcelona, Spain |
Founded | 2017 |
Tags | verification certification |
Website | formalv.com |