---
summary: "Página com tradução completa para pt-BR ainda pendente."
read_when:
  - Você precisa desta página em português
title: "Formal Verification (Security Models)"
---

# Formal Verification (Security Models)

Esta página ainda não possui tradução completa para pt-BR.

- Ver versão em inglês: [Open English doc](/security/formal-verification)
- Voltar para a página inicial em português: [Hanzo Bot PT-BR](/pt-BR)

> Status: tradução em andamento.