Description
Formal verification scripts can be written in the SAW scripting language. It is for developers and researchers modeling software properties and proof workflows.
FICHA · AUR
saw-script
The SAW scripting language.
- SAW scripting language
- CLI
- LANGUAGE
- FORMAL-METHODS
- Launchable
- Runs in terminal
official+codex · reviewed · Jun 4, 2026 description in
en How to run
saw
Commands: saw
Permissions
Permissions not analysed for this source yet.