Alternatives and similar repositories for synthesis-web:

Users that are interested in synthesis-web are comparing it to the libraries listed below

• pierg / crome-contracts
  Contracts operations tools, based on LTL
  ☆10Updated 2 years ago
• pierg / crome-web
  ☆10Updated 2 years ago
• pierg / crome-logic
  ☆10Updated 2 years ago
• pierg / 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
  ☆27Updated 9 months ago
• azamikram / rcd
  Root Cause Discovery: Root Cause Analysis of Failures in Microservices through Causal Discovery
  ☆53Updated last year
• rajarshi008 / Scarlet
  Tool for learning linear temporal logic formulas using combinatorial approach
  ☆14Updated 3 months ago
• IBM / nl2ltl
  Natural Language (NL) to Linear Temporal Logic (LTL)
  ☆73Updated 7 months ago
• logpai / AutoLog
  AutoLog: A Log Sequence Synthesis Framework for Anomaly Detection [ASE'23]
  ☆37Updated last year
• FudanSELab / DeepTraLog
  ☆33Updated 3 years ago
• BEbillionaireUSD / Eadro
  ☆41Updated 2 years ago
• dhl123 / Airtag-2023
  ☆26Updated 2 months ago
• IntelligentDDS / SwissLog
  The implementation of SwissLog in ISSRE'20 and TDSC'22
  ☆54Updated last year
• LogIntelligence / PreLog
  Code for "Pre-training with Contrastive Learning for Unified Log Analytics"
  ☆15Updated last year
• dlfaults / deepcrime
  DeepCrime - Mutation Testing Tool for Deep Learning Systems
  ☆15Updated last year
• AXinx / CausalRCA_code
  ☆26Updated last year
• Ruoyu-Li / UAD-Rule-Extraction
  Rule Extraction from Unsupervised Anomaly Detection in Security
  ☆18Updated 3 weeks 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
• IntelligentDDS / Nezha
  The implementation of multimodal observability data root cause analysis approach Nezha in FSE 2023
  ☆46Updated 10 months 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
• prismmodelchecker / prism-games
  The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
  ☆24Updated 3 weeks ago
• HPI-Information-Systems / AutoTSAD
  Unsupervised Anomaly Detection System for Univariate Time Series
  ☆17Updated 7 months ago
• LeonYang95 / PLELog
  Implementation of PLELog in ICSE 2021 accepted paper:Semi-supervised Log-based Anomaly Detection via Probabilistic Label Estimation.
  ☆75Updated last year
• DES-Lab / AALpy
  An Automata Learning Library Written in Python
  ☆180Updated 2 weeks ago
• logpai / loghub-2.0
  A Large-scale Evaluation for Log Parsing Techniques: How Far are We? [ISSTA'24]
  ☆107Updated 8 months ago
• zhaoyu-li / G4SATBench
  [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
  ☆34Updated 11 months ago
• OpsPAI / aid
  Code for ASE'21 paper "AID: Efficient Prediction of Aggregated Intensity of Dependency in Large-scale Cloud Systems"
  ☆15Updated 3 years ago
• BEbillionaireUSD / Hades
  ☆14Updated 5 months ago
• LogIntelligence / LogPPT
  Log Parsing with Prompt-based Few-shot Learning (ICSE 2023, Technical Track)
  ☆59Updated 3 months ago