FICHA · AUR
fstar-git
Linguagem de ordem superior com efeitos projetada para verificação de programas, versão Git
- 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
Programas e provas podem ser escritos em uma linguagem de ordem superior com efeitos projetada para verificação formal pela versão de desenvolvimento.
É 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.