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.
API documentation for Strata and StrataTest.