GitHub repository: michiari/POMC
Primary language: Haskell
Description: A model checker for POTL, a temporal logic for expressing context-free properties.