cyrille-artho / modbatLinks
Modbat is a model-based API tester for stateful systems.
☆23Updated 2 years ago
Alternatives and similar repositories for modbat
Users that are interested in modbat are comparing it to the libraries listed below
Sorting:
- SMTInterpol interpolating SMT solver☆66Updated 2 weeks ago
- JKind - An infinite-state model checker for safety properties in Lustre☆54Updated 3 weeks ago
- The VerCors verification toolset for verifying parallel and concurrent software☆76Updated this week
- Runtime verification system for Java, using AspectJ for instrumentation.☆47Updated 2 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆69Updated last week
- TriCera: a model checker for C programs☆25Updated last week
- SymDiff-Differential-Program-Verifier☆36Updated last week
- solver for the reachability modulo theories problem☆60Updated last year
- Mutation analysis tool for Coq verification projects☆29Updated 4 years ago
- Generates loop invariants for program verification☆62Updated 4 years ago
- A free, open-source Java library for modeling automata, graphs, and transition systems☆94Updated 2 weeks ago
- Collection of Verification Tasks (MOVED, please follow the link)☆183Updated 3 years ago
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 4 months ago
- Dynamic Analysis for Concurrent Programs☆26Updated 8 months ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 8 months ago
- SRI Sally: A model checker for infinite-state systems.☆74Updated last week
- A constraint solver abstraction layer for Java☆21Updated 2 years ago
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆52Updated this week
- Automata Learning EXperience (ALEX) - A free and open-source web application for testing and learning web applications via active automat…☆37Updated 10 months ago
- 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
- The LTSmin model checking toolset☆60Updated 7 months ago
- A language for symbolic transitions system, inspired by Ivy.☆69Updated last year
- A multi-formalism, multi-solution model-checker centered on the language GAL☆25Updated 2 weeks ago
- Static checker for Java☆86Updated 5 months ago
- KLEE with floating point support (unmaintained)☆18Updated 3 years ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆92Updated 3 weeks ago
- ☆19Updated 2 years ago
- GenProg: heuristic, GP-based automatic program repair for C.☆96Updated 3 years ago
- A framework for testing compilers' type checkers☆17Updated 7 months ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆29Updated 11 months ago