FICHA · AUR

fstar-bin

Linguagem de ordem superior com efeitos projetada para verificação de programas, versão binária

formal-verification-language
Linha de comando
DEVELOPER-TOOL
SCIENCE
Abre direto
Roda no terminal

codex · reviewed · 31 de mai. de 2026 descrição em pt-br · fallback

Descrição

Programas e provas podem ser escritos em uma linguagem de ordem superior com efeitos projetada para verificação formal usando o pacote binário.

É ferramental avançado de linguagem de programação. Ele é mais útil para desenvolvedores e pesquisadores que provam propriedades de código complexo ou sensível à segurança.

Como rodar

fstar

Comandos: fstar

Permissões

Permissões ainda não analisadas para esta fonte.