Inferring models of systems from observations of their behavior
☆86Sep 6, 2022Updated 3 years ago
Alternatives and similar repositories for synoptic
Users that are interested in synoptic are comparing it to the libraries listed below
Sorting:
- A framework for inference and testing of software behaviour.☆13Jun 14, 2023Updated 2 years ago
- Efficient techniques for mining LTL formulae over linear input traces☆18Apr 12, 2023Updated 2 years ago
- Odoo project related addons☆12Dec 15, 2020Updated 5 years ago
- Recommender system that implements Simon Funk's iterative and approximation of Singular Value Decomposition made popular from the Netflix…☆10Nov 18, 2015Updated 10 years ago
- A mapreduce implementation of SLCT (http://ristov.users.sourceforge.net/slct/) using Disco.☆16Sep 20, 2011Updated 14 years ago
- ICSE2021 Submission☆13Aug 28, 2022Updated 3 years ago
- This repository has been archived. See https://github.com/chaos-mesh/go-sqlancer for the new version☆12May 12, 2020Updated 5 years ago
- Yajta is a extensible library for bytecode probe insertion, built on top of javassist. Its transformations may be applied at load time wi…☆15Oct 3, 2022Updated 3 years ago
- [ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling☆36Oct 9, 2022Updated 3 years ago
- Personal website☆15Jun 14, 2025Updated 8 months ago
- Learning to log: A framework for determining optimal logging points [ICSE'15, ICSE'14]☆15Dec 25, 2018Updated 7 years ago
- Automated Testing and Adaptive Detection of **Slow Faults** in Distributed Systems☆18Mar 6, 2025Updated 11 months ago
- Dynamic detection of likely invariants☆245Feb 20, 2026Updated last week
- Cross-Architecture Function Similarity Search Model - https://arxiv.org/abs/2310.03605☆14Oct 6, 2023Updated 2 years ago
- A very fast lightweight distributed logger with a high-precision global time axis☆37Mar 18, 2015Updated 10 years ago
- Octopus project☆25Mar 13, 2021Updated 4 years ago
- Test-Case Prioritization for Configuration Testing☆16Jul 19, 2021Updated 4 years ago
- How to use TLA+ / TLA+ specification of the ClickHouse replication protocol☆17Jun 18, 2019Updated 6 years ago
- A recurrent neural network heavily inspired by Long Short Term Memory, but simpler.☆21May 4, 2013Updated 12 years ago
- Zero-Config Single-Node Workload Manager☆17Jan 5, 2021Updated 5 years ago
- Lectures in MIPT: intro to engineering software using model-checking.☆17Apr 19, 2021Updated 4 years ago
- 🧮Pairwise combinations generator with constraints for Java☆25Dec 16, 2023Updated 2 years ago
- Read-only mirror of the Klever Git repository☆25Feb 12, 2026Updated 2 weeks ago
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆27Nov 18, 2022Updated 3 years ago
- An implementation of Long Short Term Memory in Java.☆29May 4, 2013Updated 12 years ago
- The code of our paper "Misbehaviour Prediction for Autonomous Driving Systems", including our improved Udacity simulator☆21Jun 30, 2021Updated 4 years ago
- A tool for obtaining LTL formulas from a sample of positive and negative words.☆26Jun 21, 2022Updated 3 years ago
- C-based implementation of LogCluster algorithm. || 对LogCluster算法的C语言实现。☆22Jun 29, 2020Updated 5 years ago
- ☆25Aug 9, 2021Updated 4 years ago
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆62Apr 14, 2015Updated 10 years ago
- an O(N log N) N-Body simulation using the Barnes-Hut algorithm☆25Jul 4, 2024Updated last year
- A Java implementation of online kernel density estimation (oKDE)☆32Dec 24, 2017Updated 8 years ago
- CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.☆35Feb 13, 2026Updated 2 weeks ago
- Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs☆28Mar 21, 2023Updated 2 years ago
- Personal Information Exfiltration Detection Using Machine Learning☆29Jun 21, 2018Updated 7 years ago
- Official BigchainDB Java driver☆32Aug 7, 2018Updated 7 years ago
- A red teaming agent☆18Oct 15, 2025Updated 4 months ago
- APALACHE: symbolic model checker for TLA+ and Quint☆529Feb 11, 2026Updated 2 weeks ago
- ☆28Jan 20, 2023Updated 3 years ago