Software

Marimba. A model checker implemented in Haskell that verifies properties of HMMs. Such properties are written in the logic POCTL*.

---

Last modified: