Alternatives and similar repositories for crome-contracts:

Users that are interested in crome-contracts are comparing it to the libraries listed below

• pierg / crome-logic
  ☆10Updated 2 years ago
• pierg / crome-synthesis
  ☆10Updated 2 years ago
• pierg / crome-web
  ☆10Updated 2 years ago
• pierg / synthesis-web
  web interface for crome-synthesis
  ☆10Updated 2 years ago
• pierg / crome-cgg
  Contract-Based Goal Graph Implementation. Combining LTL synthesis and contract-based design to model and analysis complex systems
  ☆11Updated 2 years ago
• zmlin1998 / RUN
  Official repository of "Root Cause Analysis In Microservice Using Neural Granger Causal Discovery" @ AAAI 2024
  ☆23Updated 6 months ago
• dhl123 / Airtag-2023
  ☆24Updated 2 months ago
• rajarshi008 / Scarlet
  Tool for learning linear temporal logic formulas using combinatorial approach
  ☆14Updated 2 weeks ago
• azamikram / rcd
  Root Cause Discovery: Root Cause Analysis of Failures in Microservices through Causal Discovery
  ☆47Updated 9 months ago
• logpai / AutoLog
  AutoLog: A Log Sequence Synthesis Framework for Anomaly Detection [ASE'23]
  ☆37Updated 11 months ago
• lonyle / ShapleyIQ
  Code and Data to reproduce the ASPLOS'23 paper "ShapleyIQ: Influence Quantification by Shapley Values for Performance Debugging of Micros…
  ☆12Updated 11 months ago
• FudanSELab / DeepTraLog
  ☆31Updated 3 years ago
• Suresoft-GLaDOS / SBFL
  Spectrum-based Fault Localization Engine
  ☆27Updated 6 months ago
• AXinx / CausalRCA_code
  ☆24Updated last year
• Ruoyu-Li / UAD-Rule-Extraction
  Rule Extraction from Unsupervised Anomaly Detection in Security
  ☆19Updated 10 months ago
• NetManAIOps / CIRCA
  Causal Inference-based Root Cause Analysis
  ☆80Updated last year
• dlfaults / deepcrime
  DeepCrime - Mutation Testing Tool for Deep Learning Systems
  ☆15Updated last year
• LeonYang95 / PLELog
  Implementation of PLELog in ICSE 2021 accepted paper:Semi-supervised Log-based Anomaly Detection via Probabilistic Label Estimation.
  ☆73Updated last year
• AIOps-Lab-NKU / AnoFusion
  ☆13Updated last year
• alipay / microservice_system_twin_graph_based_anomaly_detection
  ☆31Updated last year
• CUHK-Shenzhen-SE / RetromorphicTesting
  ☆11Updated last week
• BEbillionaireUSD / Eadro
  ☆36Updated last year
• phamquiluan / baro
  [FSE'24 - 🏆 Best Artifact Award] BARO: Robust Root Cause Analysis for Microservice Systems.
  ☆29Updated last month
• ubc-provenance / kairos
  ☆65Updated last year
• PerfectZyx / LogAnomaly
  Log-based anomaly detection
  ☆11Updated 2 years ago
• BEbillionaireUSD / Hades
  ☆13Updated 2 months ago
• LogIntelligence / ADR
  Semi-supervised and unsupervised anomaly detection by mining numerical workflow relations from system logs (Accepted by Automated Softwar…
  ☆10Updated 2 years ago
• BoxiYu / LightAD
  A toolkit for Light Log Anomaly Detection [ICSE'24]
  ☆17Updated last year
• gaiusyu / Semlog
  Self-Supervised Log Parsing Using Semantic Contribution Difference
  ☆18Updated last year
• minecraft-saar / autoplanbench
  ☆9Updated 3 weeks ago