hhu-stups / prob-rodinpluginLinks
(READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin
☆19Updated 3 months ago
Alternatives and similar repositories for prob-rodinplugin
Users that are interested in prob-rodinplugin are comparing it to the libraries listed below
Sorting:
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 2 years 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
- ☆75Updated 7 years ago
- ☆17Updated last year
- Mutation analysis tool for Coq verification projects☆29Updated 4 years ago
- Static Analyzer and Verifier☆47Updated 7 months ago
- A tool for analyzing LLVM bitcode using Datalog.☆100Updated 4 years ago
- Java bindings for LLVM libraries☆8Updated 3 years ago
- Java bytecode generator for sound and precise partial program analysis☆24Updated 4 years ago
- Clade is a tool for extracting information about software build process and source code☆21Updated last year
- Type checking ifdef variability☆78Updated 3 years ago
- Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)☆28Updated 4 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆68Updated 2 months ago
- AE-solver and Skolemizer☆17Updated 6 months ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆51Updated 5 years ago
- Staged Abstract Interpreters☆66Updated 2 years ago
- A multi-formalism, multi-solution model-checker centered on the language GAL☆25Updated this week
- SymDiff-Differential-Program-Verifier☆35Updated 3 weeks ago
- CCG is a random C Code Generator☆44Updated 2 years ago
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆52Updated this week
- The Melange Language Workbench☆29Updated last year
- Home for the WALi weighted automaton library and OpenNWA nested-word automaton library☆18Updated 6 years ago
- Read-only mirror of the Klever Git repository☆22Updated 2 months ago
- A tool for Model Based Testing☆48Updated 3 years ago
- SMTInterpol interpolating SMT solver☆66Updated 3 weeks ago
- Map2Check: Finding Software Vulnerabilities☆28Updated 4 years ago
- OCCAM: Object Culling and Concretization for Assurance Maximization☆26Updated last year
- A Shape Analyzer Based on Symbolic Memory Graphs☆75Updated last week
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago