Strata offers a unified platform for formalizing language syntax and semantics, and implementing automated reasoning applications.
Documentation for Strata's Dialect Definition Metalanguage (DDM) system.
Documentation for Strata Core language definition.
Documentation for the Laurel intermediate verification language. Laurel attempts to provide features that are common to Java, Python, and JavaScript.
Documentation for Strata Core analysis backends: SMT encoding, verification modes, and other program transformations.
Design philosophy for translations between Strata IRs: where translation logic lives, dependency directions, and the hourglass structure around Core.
API documentation for Strata and StrataTest.