FICHA · AUR
tessla
Bundle da toolchain TeSSLa
- runtime verification CLI
- Linha de comando
- Desenvolvimento
- ANALYSIS
- Abre direto
- Roda no terminal
· codex · reviewed · 5 de jun. de 2026 descrição em pt-br · fallback
Especificações de monitoramento em runtime podem ser processadas com o bundle Java da toolchain TeSSLa. Instala tessla.jar e um runner /usr/bin/tessla; traces de entrada, especificações, relatórios gerados e caminhos de projeto podem conter comportamento proprietário de sistemas.
Como rodar
tessla
Comandos: tessla
Permissões
Permissões ainda não analisadas para esta fonte.