Description
A high-level specification language and system used to model, execute, and reason about formal specifications.
It is formal methods tooling. Developers, researchers, and students use it when specifying systems, rewriting logic, or checking behavior before implementation.