Home
Getting Started
Installation
Building Models
Overview
❱
1. Addendum for Alloy Users
Sigs
❱
Constraints
❱
Comments
Running Models
Running
Sterling Visualizer
Bounds
❱
1. Concrete Instance Bounds
Options
Testing
Testing
Forge Standard Library (Built-Ins)
Integers
Constants and Keywords
Helpers: Sequences and Reachability
Temporal Forge
Temporal Forge Overview and Operators
Custom Visualizations
Custom Visualization Basics
❱
1. D3FX Helpers (April 2023)
2. Working with SVG and Imports
Domain-Specific Input
Attribute-Based Access Control
Glossary of Terms and Errors
Glossary

Forge Documentation

Formulas

Formulas are a type of Forge syntax. Given an instance, every formula evaluates to a boolean value. If the formula is true of an instance, we say that the instance satisfies the formula.