ModelInference / synoptic
Inferring models of systems from observations of their behavior
☆83Updated 2 years ago
Alternatives and similar repositories for synoptic:
Users that are interested in synoptic are comparing it to the libraries listed below
- Runtime verification system for Java, using AspectJ for instrumentation.☆46Updated 2 years ago
- A stateless model checker powered by maximal causality reduction☆38Updated 4 years ago
- ☆15Updated 5 years ago
- A free, open-source Java library for modeling automata, graphs, and transition systems☆95Updated this week
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆46Updated 3 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 2 years ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆89Updated 9 months ago
- Dynamic Analysis for Concurrent Programs☆22Updated 5 months ago
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 3 weeks ago
- Official repository for PraPR source code☆14Updated 3 years ago
- Semantic program repair system for C programs☆98Updated 2 years ago
- Dynamic detection of likely invariants☆222Updated this week
- ☆71Updated 7 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆67Updated last month
- Efficient techniques for mining LTL formulae over linear input traces☆20Updated last year
- A free, open-source Java library for automata learning algorithms☆214Updated last month
- GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com☆78Updated 6 months ago
- Kodkod solver for relational logic☆74Updated last year
- Implementation and evaluation data of the Concolic Walk heuristic for solving complex arithmetic path conditions.☆14Updated 10 years ago
- A compiler for automatically re-targeting sequential Java code to Apache Spark.☆50Updated last year
- Automata Learning EXperience (ALEX) - A free and open-source web application for testing and learning web applications via active automat…☆36Updated 7 months ago
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆52Updated this week
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆28Updated 3 years ago
- a concolic testing engine for Java☆103Updated 7 years ago
- A collection of concurrency bugs. Please cite our ISCA paper "A Case for an Interleaving Constrained Shared-Memory Multi-Processor" if yo…☆60Updated 11 years ago
- PC-miner tool for program chairs☆24Updated this week
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated 5 months ago
- ☆56Updated last year
- Search, check, and autofix your BibTex files!☆25Updated 11 months ago
- ☆16Updated 8 months ago