bloa / magpieLinks
☆14Updated 2 weeks ago
Alternatives and similar repositories for magpie
Users that are interested in magpie are comparing it to the libraries listed below
Sorting:
- Keep your bugs contained. A platform for studying historical software bugs.☆69Updated 10 months ago
- An Automata Learning Library Written in Python☆201Updated 2 weeks ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆38Updated 2 weeks ago
- Python General Framework for Genetic Improvement [Version 2]☆31Updated 2 years ago
- DiffSearch is a search engine for code changes. The input is a query that describes a code change and the output is a list of matching co…☆19Updated last year
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Updated 10 months ago
- Repository of benchmarks for SYNTCOMP☆14Updated 2 months ago
- Dynamic analysis framework for Python☆79Updated 4 months ago
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆57Updated this week
- DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…☆21Updated 4 years ago
- A stateless model checker powered by maximal causality reduction☆38Updated 5 years ago
- GI in No Time - a Simple Microframework for Genetic Improvement☆47Updated last week
- Dynamic detection of likely invariants☆237Updated this week
- A model-based API Fuzzer for SMT Solvers.☆14Updated last month
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆75Updated last year
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆57Updated 3 months ago
- Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.☆32Updated 9 months ago
- A framework for testing compilers' type checkers☆19Updated last year
- PyExplainer: A Local Rule-Based Model-Agnostic Technique (Explainable AI)☆30Updated last year
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆48Updated 4 years ago
- A Modern Probabilistic Model Checker☆153Updated last week
- A model checker and assume/guarantee contract generator for Lustre programs.☆17Updated 7 years ago
- JKind - An infinite-state model checker for safety properties in Lustre☆55Updated 4 months ago
- an implementation of "code2vec: Learning Distributed Representations of Code"☆30Updated last year
- Inferring models of systems from observations of their behavior☆85Updated 3 years ago
- ☆12Updated 2 years ago
- AE-solver and Skolemizer☆17Updated 11 months ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- TChecker is an open-source verification tool for timed automata☆24Updated 6 months ago
- This is an automated transformation inference tool that leverages a big code corpus to guide the abstraction of transformation patterns.☆29Updated 3 years ago