pierg / crome-contracts
Contracts operations tools, based on LTL
☆10Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for crome-contracts
- ☆10Updated 2 years ago
- ☆10Updated 2 years ago
- ☆10Updated 2 years ago
- web interface for crome-synthesis☆10Updated 2 years ago
- Contract-Based Goal Graph Implementation. Combining LTL synthesis and contract-based design to model and analysis complex systems☆11Updated 2 years ago
- Official repository of "Root Cause Analysis In Microservice Using Neural Granger Causal Discovery" @ AAAI 2024☆18Updated 3 months ago
- Rule Extraction from Unsupervised Anomaly Detection in Security☆16Updated 7 months ago
- ☆22Updated last year
- Root Cause Discovery: Root Cause Analysis of Failures in Microservices through Causal Discovery☆42Updated 6 months ago
- An efficient Python toolkit for Abductive Learning (ABL), a novel paradigm that integrates machine learning and logical reasoning in a un…☆48Updated 2 months ago
- AutoLog: A Log Sequence Synthesis Framework for Anomaly Detection [ASE'23]☆38Updated 8 months ago
- DeepCrime - Mutation Testing Tool for Deep Learning Systems☆13Updated last year
- PLANET: a Piece-wise LineAr feed-forward NEural network verification Tool☆42Updated 5 years ago
- A minimal example of Abductive Learning☆13Updated 11 months ago
- An Automata Learning Library Written in Python☆166Updated 3 weeks ago
- This repository contains code and data of the paper **On the Limitations of Continual Learning for Malware Classification**, accepted to …☆15Updated 10 months ago
- The released code of ReluVal in USENIX Security 2018☆56Updated 4 years ago
- A tool for obtaining LTL formulas from a sample of positive and negative words.☆20Updated 2 years ago
- Black-box extraction of Finite-State Machines from RNNs.☆18Updated 2 years ago
- Neural Network Enumeration Tool☆34Updated last year
- Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.☆27Updated 4 years ago
- Reward Guided Test Generation for Deep Learning☆20Updated 3 months ago
- The repository of "DeepFD: Automated Fault Diagnosis and Localization for Deep Learning Programs"☆15Updated 2 years ago
- ☆11Updated last year
- [CIKM 2022] Towards Automated Over-Sampling for Imbalanced Classification☆10Updated last year
- [PLDI 19'] An Inductive Synthesis Framework for Verifiable Reinforcement Learning☆13Updated 4 years ago
- The FlexFringe tool for flexible learning of state machines (deterministic automata) from traces. See the paper at https://arxiv.org/abs/…☆16Updated this week
- Code and Data to reproduce the ASPLOS'23 paper "ShapleyIQ: Influence Quantification by Shapley Values for Performance Debugging of Micros…☆10Updated 8 months ago
- Official implementation of ISSTA 2022 paper: MDPFuzz: Testing Models Solving Markov Decision Processes.☆23Updated last year
- Python notebooks for a tutorial on neurosymbolic programming☆62Updated 6 months ago