GitHub repository: storm-framework/core
Primary language: Haskell
Description: A reference implementation of a core subset of STORM verified with LiquidHaskell