Pinned Loading

1. Google-Drive-Remove-Duplicates Google-Drive-Remove-Duplicates Public

   Python script that helps to identify and optionally remove duplicate files in your Google Drive. It makes use of the Google Drive API to fetch file metadata and detect duplicates based on file hash.

   Python 8 2

2. iPRV-DejaVu iPRV-DejaVu Public

   Forked from havelund/dejavu

   The DejaVu runtime verification system employs BDDs (Binary Decision Diagrams) to store data from observed events. This enhanced version of DejaVu offers predictions based on isomorphic classes for…

   Scala 3 1

3. TP-DejaVu TP-DejaVu Public

   Enhanced version of the DEJAVU tool, optimized for two-phase Runtime Verification (RV). The first phase, written in Scala, enables operational RV with arithmetic, string, and Boolean operations usi…

   Scala 3

4. MonAmI MonAmI Public

   Python library for monitoring the foATL (First-Order Allen Temporal Logic), which is an extension of Allen's temporal logic.

   Python 1

5. PoET PoET Public

   PoET (Partial Order Execution Tracer) is Python-based tool designed to evaluate and analyze all equivalent executions of a concurrent or distributed system based on a given execution trace

   Python 1

6. pydejavu pydejavu Public

   PyDejaVu is a powerful tool designed for two-phase Runtime Verification (RV) processing (similar to the Tp-DejaVu tool), combining the flexibility and expressiveness of Python with the rigorous, de…

   Python 2