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
- A stateless model checker powered by maximal causality reduction☆38Updated 4 years ago
- ☆71Updated 7 years ago
- A free, open-source Java library for modeling automata, graphs, and transition systems☆94Updated this week
- GenProg: heuristic, GP-based automatic program repair for C.☆93Updated 3 years ago
- Runtime verification system for Java, using AspectJ for instrumentation.☆45Updated 2 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆65Updated last year
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 5 years ago
- Official repository for PraPR source code☆14Updated 3 years ago
- Probabilistic Computer Network Analysis☆19Updated 6 years ago
- Dynamic Analysis for Concurrent Programs☆22Updated 3 months ago
- Efficient techniques for mining LTL formulae over linear input traces☆19Updated last year
- Kodkod solver for relational logic☆74Updated last year
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 2 years ago
- ☆16Updated 6 months ago
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆98Updated 3 months ago
- PC-miner tool for program chairs☆24Updated last month
- Dynamic detection of likely invariants☆215Updated last month
- ☆15Updated 5 years ago
- Test-Case Prioritization for Configuration Testing☆16Updated 3 years ago
- GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com☆77Updated 4 months ago
- A free, open-source Java library for automata learning algorithms☆212Updated this week
- Dynamic Program Slicing in LLVM Compiler☆136Updated 6 years ago
- Semantic program repair system for C programs☆97Updated 2 years ago
- Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.☆23Updated last month
- JKind - An infinite-state model checker for safety properties in Lustre☆53Updated last week
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆45Updated 3 years ago
- Configuration dependency analysis for cloud software☆22Updated 3 years ago
- Automatically exported from code.google.com/p/type-inference☆26Updated 5 years ago
- A Fast Floating-Point Satisfiability Solver☆21Updated 6 years ago
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 2 months ago