Popular repositories Loading

1. Model_Checking-LTL-CTLS Model_Checking-LTL-CTLSPublic

   Computer Scientist Master Degree - Thesis Work

   Haskell 6

2. OnTheFly_ModelChecking OnTheFly_ModelCheckingPublic

   Efficient On-the-Fly Model Checking for LTL and CTL★.

   Haskell 5

3. LTL_Coq LTL_CoqPublic

   Linear Temporal Logic formalized in Coq

   Coq 3 2

4. S3_multipart_upload S3_multipart_uploadPublic

   Multipart upload of a file to Amazon S3 with Haskell

   Haskell 3

5. Monads_KleisliTriples_Proof Monads_KleisliTriples_ProofPublic

   Computer Scientist Degree - Thesis Work

   Rocq Prover 1

6. tree_sort_verificated tree_sort_verificatedPublic

   A formal specification and verification of Tree Sort algorithm in Coq

   Coq