hhu-stups / prob-rodinplugin
(READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin
☆19Updated last month
Alternatives and similar repositories for prob-rodinplugin:
Users that are interested in prob-rodinplugin are comparing it to the libraries listed below
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆48Updated 4 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆66Updated last year
- The BToolkit, a toolkit supporting software development with the B-method.☆36Updated 9 months ago
- Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…☆82Updated last month
- A model checker for infinite-state systems.☆70Updated last month
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years ago
- ANTLR SMT-LIB v2 Grammar☆22Updated 3 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…☆20Updated 3 years ago
- Static Analyzer and Verifier☆46Updated 3 months ago
- solver for the reachability modulo theories problem☆59Updated last year
- Library for Data Decision Diagrams and Set Decision Diagrams☆14Updated 5 months ago
- TriCera: a model checker for C programs☆24Updated last week
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 2 years ago
- a concolic testing engine for Java☆102Updated 6 years ago
- Java bindings for LLVM libraries☆8Updated 3 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆26Updated 2 years ago
- SMTInterpol interpolating SMT solver☆62Updated 7 months ago
- A Shape Analyzer Based on Symbolic Memory Graphs☆73Updated 3 months ago
- Kodkod solver for relational logic☆74Updated last year
- Clade is a tool for extracting information about software build process and source code☆20Updated last year
- Isabelle/HOL proofs about the eChronos RTOS☆10Updated 7 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆99Updated 4 years ago
- ☆52Updated last month
- ☆16Updated 8 months ago
- A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …☆15Updated 4 months ago
- SPARK 2014 repository for the Why3 verification platform.☆29Updated 2 weeks ago
- Apron Numerical Abstract Domain Library☆120Updated last week
- Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)☆28Updated 4 years ago
- The LTSmin model checking toolset☆57Updated 3 months ago
- Read-only mirror of the Klever Git repository☆21Updated last week