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 |