Quick Start

Get from zero to your first finding in under a minute.

Download

Pick the binary for your platform from the latest release:

• Windows (x64) — saple-windows-x64.zip
• macOS — saple-macos.zip

Install on Windows

Unzip the archive and add the folder containing saple.exe to your PATH. Verify:

saple --version

Install on macOS

Unzip the archive and move the binary to a directory on your PATH:

chmod +x saple
sudo mv saple /usr/local/bin/
saple --version

On first run, macOS may flag the unsigned binary. Open System Settings → Privacy & Security and click Open Anyway.

Run your first analysis

Download an example specification (e.g., dining_philosophers.sbl) from the releases page, or use one of your own:

saple analyze dining_philosophers.sbl --verbose

The analyzer verifies three properties over the modelled state space:

# Properties checked:
#   noDeadlock       : some philosopher can always act
#   mutualExclusion  : adjacent philosophers never eat simultaneously
#   progress         : at least one philosopher can eventually eat