michiari/POMC michiari/POMC

  • Stars
    star
    2
  • Language
    Haskell
  • License
    MIT License
  • Created about 4 years ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
michiari/POMC
github

michiari

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A model checker for POTL, a temporal logic for expressing context-free properties.

More Repositories

1

ppl

Exercise classes for the course Principles of Programming Languages at Politecnico di Milano.
Haskell
12
star
2

piacere-mc-openapi

PIACERE DOML Model Checker
Python
1
star