SAPLE Documentation

SAPLE — the Symbolic Algebraic Process Logic Engine — is a formal verification framework. Its specification language is SPL. These docs cover the language, the CLI, and the example specifications shipped with the tool.

Getting Started

Introduction · Quick Start · CLI Tools

SPL Language

SPL describes systems with five core constructs: schemas, transitions, agents, systems, and patterns. Start with File Structure and work down the sidebar.

Reference

Quick lookups: operator precedence, the syntax cheat sheet, and the built-in function index.

Examples

Each .sbl file demonstrates a different verification scenario — concurrency, consensus, cache coherence, smart contracts, or vulnerability classes. See the overview or jump into a per-example walkthrough from the sidebar.