Inferring models of systems from observations of their behavior
☆88Sep 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Talk: minimal standalone keynote software using HTML5 rendering and Markdown editing☆12Oct 28, 2016Updated 9 years ago
- Models of finite automata (DFA, NFA) with support of common operations and easily readable creation of objects☆14Feb 4, 2019Updated 7 years ago
- ICSE2021 Submission☆13Aug 28, 2022Updated 3 years ago
- Odoo project related addons☆12Dec 15, 2020Updated 5 years ago
- Efficient techniques for mining LTL formulae over linear input traces☆18Apr 12, 2023Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- 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
- Failure dataset accompanying the paper "How Bad Can a Bug Get? An Empirical Analysis of Software Failures in the OpenStack Cloud Computi…☆10Jun 12, 2020Updated 5 years ago
- This repository has been archived. See https://github.com/chaos-mesh/go-sqlancer for the new version☆12May 12, 2020Updated 6 years ago
- A tool to visualize distributed system logs☆89Dec 1, 2021Updated 4 years ago
- Java library to compile and run C++ code in-memory☆15Oct 15, 2017Updated 8 years ago
- ☆12Nov 24, 2021Updated 4 years ago
- DeVAIC (Detection of Vulnerabilities in AI-generated Code) is a static code analyzer for security issues in Python code snippets. It dete…☆19Oct 24, 2025Updated 6 months ago
- [ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling☆36Oct 9, 2022Updated 3 years ago
- ☆25Aug 9, 2021Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A gentle and thoroughly tested guide up the Nix Flakes learning curve☆10Feb 24, 2021Updated 5 years ago
- Technical reports and preprints☆14Jul 30, 2016Updated 9 years ago
- Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs☆28Mar 21, 2023Updated 3 years ago
- Cross-Architecture Function Similarity Search Model - https://arxiv.org/abs/2310.03605☆15Apr 22, 2026Updated last month
- Implementation for paper Automata Extraction from Transformers.☆12Jun 8, 2024Updated last year
- Learning to log: A framework for determining optimal logging points [ICSE'15, ICSE'14]☆15Dec 25, 2018Updated 7 years ago
- Distributed Data Structures in Coq☆49Oct 7, 2013Updated 12 years ago
- Characterizing the natural language descriptions in software logging statements [ASE'18]☆17Dec 5, 2018Updated 7 years ago
- The Kevoree Java project☆39Nov 16, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Runtime verification system for Java, using AspectJ for instrumentation.☆52Jan 6, 2023Updated 3 years ago
- Set of research paper reading lists for SDN/OpenFlow related topics☆11Nov 24, 2015Updated 10 years ago
- SymDiff-Differential-Program-Verifier☆38Aug 21, 2025Updated 9 months ago
- The code of our paper "Misbehaviour Prediction for Autonomous Driving Systems", including our improved Udacity simulator☆21Jun 30, 2021Updated 4 years ago
- TurboFuzzLLM: Turbocharging Mutation-based Fuzzing for Effectively Jailbreaking Large Language Models in Practice☆25Nov 24, 2025Updated 5 months ago
- How to use TLA+ / TLA+ specification of the ClickHouse replication protocol☆17Jun 18, 2019Updated 6 years ago
- Translate java jar files into Boogie programs☆12Apr 16, 2024Updated 2 years ago
- ☆10Jan 28, 2013Updated 13 years ago
- http://www.cis.upenn.edu/~bcpierce/sf☆14Nov 10, 2019Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- browsing through the looking glass☆10Jul 10, 2023Updated 2 years ago
- Collection of Distributed Protocol Verification Problems☆15Apr 27, 2024Updated 2 years ago
- Peasy: An Intuitive Development Environment for P☆17May 12, 2025Updated last year
- Brain: Log Parsing with Bidirectional Parallel Tree☆40Jun 13, 2025Updated 11 months ago
- Deep learning code semantic similarity☆66Jun 11, 2019Updated 6 years ago
- DINAMITE LLVM Pass☆11May 24, 2017Updated 8 years ago
- Partial Commutative Monoids☆35Apr 28, 2026Updated 3 weeks ago