FICHA · AUR
fspcc
Compilador FSP e ferramenta de análise LTS
- formal-methods-tool
- Linha de comando
- DEVELOPER-TOOL
- SCIENCE
- Abre direto
- Roda no terminal
· codex · reviewed · 31 de mai. de 2026 descrição em pt-br · fallback
Especificações FSP podem ser compiladas e analisadas com ferramental de sistemas de transição rotulados.
É ferramental de métodos formais para desenvolvimento. Ele é mais útil para quem modela sistemas concorrentes ou verifica comportamento de protocolos.
Como rodar
fspcc
Comandos: fspcc
Permissões
Permissões ainda não analisadas para esta fonte.