A fast, two-step algorithm for the automated discovery of, and reasoning on, declarative rules of process and system behaviour
-
Updated
Mar 11, 2026 - Java
A fast, two-step algorithm for the automated discovery of, and reasoning on, declarative rules of process and system behaviour
Invariant primitives and structural constants for the Structural Explainability (SE) ecosystem.
Mapping vocabulary and structural correspondence rules for the Structural Explainability (SE) ecosystem.
Declarative filesystem specification and validation tool for CI and long-lived projects.
Add a description, image, and links to the declarative-specification topic page so that developers can more easily learn about it.
To associate your repository with the declarative-specification topic, visit your repo's landing page and select "manage topics."