FICHA · AUR

saw-script

Linguagem de scripting SAW

SAW scripting language
Linha de comando
LANGUAGE
FORMAL-METHODS
Abre direto
Roda no terminal

codex · reviewed · 4 de jun. de 2026 descrição em pt-br · fallback

Descrição

Scripts de verificação formal podem ser escritos na linguagem de scripting SAW. É para desenvolvedores e pesquisadores que modelam propriedades de software e fluxos de prova.

Como rodar

saw

Comandos: saw

Permissões

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