spidermoy/LTL_Coq spidermoy/LTL_Coq

  • Stars
    star
    1
  • Language Coq
  • Created over 5 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
spidermoy/LTL_Coq
github

spidermoy

Reviews

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

Repository Details

Linear Temporal Logic formalized in Coq

More Repositories

1

Model_Checking-LTL-CTLS

Computer Scientist Master Degree - Thesis Work
Haskell
5
star
2

OnTheFly_ModelChecking

Efficient On-the-Fly Model Checking for LTL and CTL★.
Haskell
5
star
3

S3_multipart_upload

Multipart upload of a file to Amazon S3 with Haskell
Haskell
3
star
4

Monads_KleisliTriples_Proof

Computer Scientist Degree - Thesis Work
Coq
1
star