HStriver is a Stream Runtime Verification (SRV) tool, that borrows features from the functional language Haskell to cleanly separate data computation from temporal constructs and fulfill the promise of a readily extensible SRV language.

HStriver delivers a DSL that is embedded in Haskell and provides means to easily lift the constructs of the host language.

As a result, HStriver seamlessly benefits from rich types for data in events and verdicts, functional features for parametrization, libraries, high-order specification transformations, Haskell notation (let/where clauses, do notation, type annotation), a robust compiler with multiple target platforms, etc.

See some examples specifications and libraries in the Examples section.

Read more about the organization in the About section.

Try the language following the indications in the GitHub repository.

For more information about HStriver, see the paper Declarative Stream Runtime Verification (hLola).