POMC

A model checker for the temporal logic POTL

Haskell