Alternatives and similar repositories for crome-contracts

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

• pierg / crome-synthesis
  ☆10Updated 2 years ago
• pierg / synthesis-web
  web interface for crome-synthesis
  ☆10Updated 2 years ago
• pierg / crome-logic
  ☆10Updated 2 years ago
• pierg / crome-web
  ☆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
  ☆30Updated 10 months ago
• rajarshi008 / Scarlet
  Tool for learning linear temporal logic formulas using combinatorial approach
  ☆14Updated 4 months ago
• logpai / AutoLog
  AutoLog: A Log Sequence Synthesis Framework for Anomaly Detection [ASE'23]
  ☆39Updated last year
• dlfaults / deepcrime
  DeepCrime - Mutation Testing Tool for Deep Learning Systems
  ☆15Updated last year
• azamikram / rcd
  Root Cause Discovery: Root Cause Analysis of Failures in Microservices through Causal Discovery
  ☆57Updated last year
• Ruoyu-Li / UAD-Rule-Extraction
  Rule Extraction from Unsupervised Anomaly Detection in Security
  ☆19Updated last month
• Henrygwb / edge
  ☆20Updated 3 years ago
• dhl123 / Airtag-2023
  ☆27Updated 4 months ago
• s-marton / SYMPOL
  (ICLR 2025) Mitigating Information Loss in Tree-Based Reinforcement Learning via Direct Optimization
  ☆19Updated 9 months ago
• BEbillionaireUSD / Hades
  ☆15Updated 6 months ago
• sarthak-chakraborty / CausIL
  CausIL is an approach to estimate the causal graph for a cloud microservice system, where the nodes are the service-specific metrics whil…
  ☆12Updated last year
• FudanSELab / DeepTraLog
  ☆33Updated 3 years ago
• Wardat-ISU / DeepLocalize
  DeepLocalize: Fault Localization for Deep NeuralNetworks
  ☆26Updated 4 years ago
• LeonYang95 / PLELog
  Implementation of PLELog in ICSE 2021 accepted paper:Semi-supervised Log-based Anomaly Detection via Probabilistic Label Estimation.
  ☆75Updated 2 years ago
• Qi-Pang / MDPFuzz
  Official implementation of ISSTA 2022 paper: MDPFuzz: Testing Models Solving Markov Decision Processes.
  ☆24Updated 2 years ago
• HPI-Information-Systems / AutoTSAD
  Unsupervised Anomaly Detection System for Univariate Time Series
  ☆18Updated 8 months ago
• Joeyonng / decision-rules-network
  This repository contains the source code of the paper "Learning Accurate and Interpretable Decision Rule Sets from Neural Networks".
  ☆13Updated 3 years ago
• IBM / nl2ltl
  Natural Language (NL) to Linear Temporal Logic (LTL)
  ☆76Updated last month
• whitemech / LTLf2DFA
  From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)
  ☆71Updated last year
• BoxiYu / LightAD
  A toolkit for Light Log Anomaly Detection [ICSE'24]
  ☆19Updated 3 months ago
• IntelligentDDS / MicroRank
  MicroRank: End-to-End Latency Issue Localization with Extended Spectrum Analysis in Microservice Environments
  ☆38Updated 3 years ago
• atschalz / mcgmenn
  ☆12Updated 11 months ago
• keiichishima / pcalg
  CPDAG Estimation using PC-Algorithm
  ☆96Updated 3 years ago
• lonyle / ShapleyIQ
  Code and Data to reproduce the ASPLOS'23 paper "ShapleyIQ: Influence Quantification by Shapley Values for Performance Debugging of Micros…
  ☆13Updated last year
• LogIntelligence / log-analytics-chatgpt
  Log Parsing: How Far Can ChatGPT Go? (ASE 2023 - NIER Track)
  ☆21Updated last year